GeoProof загрузить

"Проект в области интерактивного программного обеспечения геометрия в производстве доказательства происходило".
runterload.de Редактора: Эта программа интерактивная программа по геометрии связаны с доказательством черт.
Фактические данные для интерактивного программного обеспечения геометрии в производство проекта происходит.
Coq доказательство помощника с геометрией GeoProof теоремы, которые выполняют автоматический и интерактивный доказательствами могут общаться.

---

Проект Жюльен Narboux основу GeoProof инициативе Франсуа Никола DrGeoCaml была разработана.

---

Особенности <br> Подробный список возможностей:
-пять типов геометрических объектов: точек, линий, кругов, векторы, и сегменты
трех преобразований: центральная симметрия, перевода и осевой симметрии - построить в девяти точках пути
Line --
пять способов создания
последующего автоматического теорема теперь могут загрузить бесплатную 0.5beta GeoProof может быть доказана как динамическую часть круга
Чтобы создать трехстороннюю-текстовых меток.