幾何專家Java版下載，《幾何專家》提供了幾何動態(tài)圖形變換與板塊操作，可以自動證明定理，并產(chǎn)生簡單、漂亮的證明過程，還可以自動發(fā)現(xiàn)幾何圖形的豐富性質(zhì)。自從吳文俊教授七十年代末提出幾何定理自動證明的吳方法以來，中國學(xué)者在這方面的研究可謂異彩紛呈，成果累累，屢獲國內(nèi)外大獎。幾何圖形、函數(shù)圖象、平面曲線、與軌跡圖形，可用于平面幾何、解析幾何、函數(shù)、與物理的學(xué)習(xí)與教學(xué)。YVM紅軟基地

軟件介紹

作為一個定理證明器，《幾何專家》使用作者的獲獎研究成果，不僅可以證明大部分平面幾何定理、產(chǎn)生簡短可讀的證明，還可以自動發(fā)現(xiàn)幾何圖形的所有可能的性質(zhì)、為使用者自動生成幾何圖形的題庫。《幾何專家》不僅可以幫助使用者解決難題、還可以教會使用者解題的方法。YVM紅軟基地

相關(guān)介紹

幾何學(xué)（幾何）是數(shù)學(xué)的一個基礎(chǔ)分支，主要研究形狀、大小、圖形的相對位置等空間區(qū)域關(guān)系以及空間形式的度量。幾何學(xué)可見的特性讓它比代數(shù)、數(shù)論等數(shù)學(xué)領(lǐng)域更容易讓人接觸，不過一些幾何語言已經(jīng)和原來傳統(tǒng)的、歐幾里得幾何下的定義越差越遠(yuǎn)。幾何學(xué)開始的最早記錄可以追蹤到公元前2世紀(jì)的古代埃及和美索不達(dá)米亞。YVM紅軟基地

軟件截圖

YVM紅軟基地