《幾何專家》提供了幾何動態(tài)圖形變換與板塊操作,可以自動證明定理,并產(chǎn)生簡單、漂亮的證明過程,還可以自動發(fā)現(xiàn)幾何圖形的豐富性質(zhì)。自從吳文俊教授七十年代末提出幾何定理自動證明的吳方法以來,中國學(xué)者在這方面的研究可謂異彩紛呈,成果累累,屢獲國內(nèi)外大獎。幾何圖形、函數(shù)圖象、平面曲線、與軌跡圖形,可用于平面幾何、解析幾何、函數(shù)、與物理的學(xué)習(xí)與教學(xué)。作為一個定理證明器,《幾何專家》使用作者的獲獎研究成果,不僅可以證明大部分平面幾何定理、產(chǎn)生簡短可讀的證明,還可以自動發(fā)現(xiàn)幾何圖形的所有可能的性質(zhì)、為使用者自動生成幾何圖形的題庫。《幾何專家》不僅可以幫助使用者解決難題、還可以教會使用者解題的方法。