平面几何定理的机器证明 [电子资源]


名称	平面几何定理的机器证明 [电子资源]

索引号
分类号	(\| 08 环境公报)
作者
出版社	, 1999
ISBN	7543529807
页数	142页
价格
标签	数学、人工智能，、教育、科普、经济、
简介
注解	国家“九五”重点图书出版规划项目:本书介绍了欧几里得几何公理系的发展、吴文俊院士的几何定理的机器证明方法、张景中院士的消点算法等，尤其介绍了中国数学家在几何定理的机器证明这一研究领域所取得的巨大成就。