平面几何定理的机器证明

　　国家“九五”重点图书出版规划项目。本书介绍了欧几里得几何公理系的发展、吴文俊院士的几何定理的机器证明方法、张景中院士的消点算法等，尤其介绍了中国数学家在几何定理的机器证明这一研究领域所取得的巨大成就。

暂缺《平面几何定理的机器证明》作者简介