TOP
0
0
【簡體曬書區】 單本79折,5本7折,活動好評延長至5/31,趕緊把握這一波!

縮小範圍


商品類型


簡體書 (1)

商品狀況


可訂購商品 (1)

庫存狀況


無庫存 (1)

商品定價


$600~$799 (1)

出版日期


2018~2019 (1)

裝訂方式


精裝 (1)

作者


張景中、高小山、周咸青 (1)

出版社/品牌


科學出版社 (1)

三民網路書店 / 搜尋結果

1筆商品,1/1頁
幾何定理機器證明的幾何不變數方法(簡體書)
滿額折

1.幾何定理機器證明的幾何不變數方法(簡體書)

作者:張景中; 高小山; 周咸青  出版社:科學出版社  出版日:2018/03/26 裝訂:精裝
用電腦自動證明某一類型幾何定理,甚至某一種幾何全部定理的原理和方法。從理論角度看,幾何定理的機器證明要經歷公理化、代數化與座標化、機械化等步驟,才能編制程式並在電腦上實現。可用機器證明的幾何定理(主要是初等幾何的定理)有三種不同類型,與之對應則有三種不同的機器證明方法。每一類型定理的機器證明都必須假設代數化與座標化已經完成,而且可把幾何定理的證明問題化為一些代數關係式的處理問題。
定價:768 元, 優惠價:87 668
海外經銷商無庫存,到貨日平均30天至45天

暢銷榜

客服中心

收藏

會員專區