GeoProof for Linux загрузить

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

---

Основой для проекта Жюльен Narboux Linux GeoProof Никола Франсуа, начатой его DrGeoCaml развитые.

---

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