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