基本介紹
- 作者：孫熙椿
- ISBN：9787543529809
- 頁數：142 頁
- 定價：9.5
- 出版社：廣西教育出版社
- 出版時間：1999年12月
- 裝幀：平裝
廣西教育出版社出版
平面幾何定理的機器證明
相關詞條
- 平面幾何定理的機器證明
圖集 平面幾何定理的機器證明圖冊 V百科往期回顧 詞條統計 瀏覽次數:次 編輯次數:5次歷史版本 最近更新: 創建者:微笑●L62猜你關注...
- 幾何定理機器證明的基本原理
《幾何定理機器證明的基本原理》是科學出版社於1984年出版的一本圖書,作者是吳文俊。...
- 定理機器證明
定理機器證明是用計算機自動地進行推理和證明數學定理。又稱為自動定理證明(ATP)。讓機器去證明數學定理的想法,在17世紀G.W.Leibniz 創立數理邏輯時就產生了,但這...
- 中學幾何研究
歐氏幾何的公理化體系、平面幾何證題方法、平面幾何名題欣賞、中學幾何教學的綜述、立體幾何研究與解題、解析幾何研究與解題、球面幾何學初步以及幾何定理的機器證明等...
- 數學機械化
數學機械化研究,是在初等幾何定理的機器證明研究方面取得突破的。公理化體系的...眾所周知,直線和平面等幾何概念可由一次代數方程描述,多項式方程則用於描述曲線和...
- 張景中
1985年進行機器證明的研究,與合作者創立了計算機生成幾何定理和讀證明的原理與...1995年,“張景中教育數學”叢書(《教育數學探索》、《平面幾何新路》、《平面...
- 從根號2談起
張先生一直站在科學研究的前沿,為建立“幾何定理機器可讀性證明的理論”做著出色...從他的作品中,可以看出張先生對平面幾何的情有獨鐘,可以看出他在整理幾何體系...
- 好玩的數學:數學聊齋
本書對算術、幾何和圖論當中的上百個十分重要、十分動人的問題進行趣味盎然的...2.15 平面幾何定理為什麼可以機器證明2.16 勾三股四弦五精品展2.17 雪花幾何...
- 從數學競賽到競賽數學
張景中,數學家,中國科學院院士,多年從事幾何算法和定理機器證明研究,其成果曾獲...平面幾何、數論、組合數學、組合幾何8節,每一節內容包括背景分析、基本問題、...
- 好玩的數學:樂在其中的數學
其主要貢獻是:(一)提出了面積解題方法,並用之於機器證明的研究,使幾何定理可讀...其中的“平面幾何”、“解析幾何”2000年通過國家教育部教材審定委員會審定,由...
- 中國數學教育
國中數學講授算術、代數、平面幾何,高中數學講授平面三角、高中幾何、高中代數、...吳先生在幾何定理的機器證明領域所取得的成就,正是以《九章算術》為代表的中國...
