| 词条 | 几何定理计算机证明 |
| 释义 | 图书信息作 者： 孙熙椿 著丛 书 名：出 版 社： 科学出版社ISBN：9787030155054出版时间：2007-06-01版 次：1页 数：207装 帧：平装开 本：16开所属分类：图书 > 科学与自然 > 数学 内容简介《几何定理计算机证明》作者将我国著名的数学家吴文俊院士独创的“几何定理机器证明的新方法”应用到大学和中学的数学教育中，经过多年的教学实验和数学现代化探索，总结出了这《几何定理计算机证明》，《几何定理计算机证明》的出版对数学素质教育将有很深远的指导意义。《几何定理计算机证明》共分6章，主要讲述几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法、杨路降维算法等。 《几何定理计算机证明》适合作为高等院校教材，更适合师范院校和高中数学教师学习阅读。 |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。