滿額折
計算機怎樣解幾何題（簡體書）
商品資訊
人民幣定價：24 元
定價
：NT$ 144 元優惠價
：87 折 125 元
絕版無法訂購
相關商品
商品簡介
作者簡介
目次
商品簡介
計算機如何能證明幾何定理並發現新的定理呢？是因為人找到了幾何解題的規律。跟著書還可以自己動手模擬或實現機器解題。
作者簡介
張景中
中國科學院院士，從事幾何算法和定理機器證明等領域研究。成果獲國家發明二等獎，中國科學院自然科學一等獎，國家自然科學二等獎。
中國科學院院士，從事幾何算法和定理機器證明等領域研究。成果獲國家發明二等獎，中國科學院自然科學一等獎，國家自然科學二等獎。
目次
一、青出於藍——計算機是人的好學生
1.1計算機解題基本功
1.2有了公式就好辦
1.3沒有公式找算法
1.4幾何解題花樣多
二、舉一反三——舉例驗證幾何命題
2.1歸納和演繹的對立
2.2用例子證明代數恒等式
2.3一個例子證明的定理
2.4用例證法發現新定理
2.5數值並行法的一般實現
三、一網打盡——幾何信息搜索系統
3.1尋求傳統幾何的美
3.2從例子找出方法
3.3試用幾何信息搜索系統
3.4幾何信息搜索系統的算法結構
3.5講究策略精益求精
3.6全角方法的應用
3.7一個幾何信息搜索系統運行情形
四、順藤摸瓜——解幾何問題的消點法
4.1幾何知識的準備
4.2一個簡單的例子
4.3解剖麻雀——建立消點算法
4.4有向線段和帶號面積
4.5希爾伯特交點類問題
4.6引進勾股差
4.7複數和向量
五、步步為營——自動求解的代數方法
5.1中國數學家的突破
5.2領略吳氏代數方法
5.3金字塔問題
六、後記——幾何定理機器證明進展回顧
6.1艱難的歷程
6.2重要的突破
6.3與人工證明媲美
6.4不等式的機器證明
6.5研究展望和應用前景
1.1計算機解題基本功
1.2有了公式就好辦
1.3沒有公式找算法
1.4幾何解題花樣多
二、舉一反三——舉例驗證幾何命題
2.1歸納和演繹的對立
2.2用例子證明代數恒等式
2.3一個例子證明的定理
2.4用例證法發現新定理
2.5數值並行法的一般實現
三、一網打盡——幾何信息搜索系統
3.1尋求傳統幾何的美
3.2從例子找出方法
3.3試用幾何信息搜索系統
3.4幾何信息搜索系統的算法結構
3.5講究策略精益求精
3.6全角方法的應用
3.7一個幾何信息搜索系統運行情形
四、順藤摸瓜——解幾何問題的消點法
4.1幾何知識的準備
4.2一個簡單的例子
4.3解剖麻雀——建立消點算法
4.4有向線段和帶號面積
4.5希爾伯特交點類問題
4.6引進勾股差
4.7複數和向量
五、步步為營——自動求解的代數方法
5.1中國數學家的突破
5.2領略吳氏代數方法
5.3金字塔問題
六、後記——幾何定理機器證明進展回顧
6.1艱難的歷程
6.2重要的突破
6.3與人工證明媲美
6.4不等式的機器證明
6.5研究展望和應用前景
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。