书籍详情
平面几何定理的机器证明
作者：孙熙椿著
出版社：广西教育出版社
出版时间：1999-01-01
ISBN：9787543529809
定价：¥9.50
内容简介
国家“九五”重点图书出版规划项目。本书介绍了欧几里得几何公理系的发展、吴文俊院士的几何定理的机器证明方法、张景中院士的消点算法等，尤其介绍了中国数学家在几何定理的机器证明这一研究领域所取得的巨大成就。
作者简介
暂缺《平面几何定理的机器证明》作者简介
目录
暂缺《平面几何定理的机器证明》目录
猜您喜欢
