Математика - GeoProof

GeoProof является свободно-распространяемой по лицензии GPL системой динамической геометрии, написанной на языке Ocaml.

Плюсы:

• Может импортировать XML-файлы, содержащие описание теорем
• Может проверять истинность теорем используя встроенные автоматические методы доказательства.
• Возможность подсказок в решение геометрических задач, используя встроенного помощника
• Может быть использовано для создания высококачественных фигур для LaTeX
• Динамические названия объектов
• Вычисления производятся используя приблизительную точность
• Возможность создания слоев объектов.

Минусы:

• Отсутствует поддержка ГМТ
• Нет макросов
• Отсутствует функция публикации геометрической модели для Web

Тип приложения: другие программы для графического режима
Сайт разработчика: http://home.gna.org/geoproof/
Что почитать?

• Список систем интерактивной геометрии