平面幾何定理的機器證明

　　國家“九五”重點圖書出版規(guī)劃項目。本書介紹了歐幾里得幾何公理系的發(fā)展、吳文俊院士的幾何定理的機器證明方法、張景中院士的消點算法等，尤其介紹了中國數(shù)學(xué)家在幾何定理的機器證明這一研究領(lǐng)域所取得的巨大成就。

暫缺《平面幾何定理的機器證明》作者簡介