题名:
平面几何定理的机器证明   / 孙熙椿著 ,
ISBN:
7-5435-2980-7 价格： CNY9.50
语种:
chi
载体形态:
142页 照片 21cm
出版发行:
出版地： 南宁 出版社： 广西教育出版社 出版日期： 1999
内容提要:
本书介绍了欧几里得几何公理系的发展、吴文俊院士的几何定理的机器证明方法、张景中院士的消点算法等，尤其介绍了中国数学家在几何定理的机器证明这一研究领域所取得的巨大成就。 
主题词:
平面几何   定理证明
中图分类法:
O123.1-49 版次： 4
主要责任者:
孙熙椿 著
附注:
国家“九五”重点图书出版规划项目 
责任者附注:
孙熙椿，江西师范大学数学与信息科学学院教授、硕士生导师，主编有《从现代数学看中学数学》，著有《平面几何定理的机器证明》。