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