GeoProof

0
Ваша оценка: Нет

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

Плюсы:

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

Минусы:

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

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


Разместил: vikos 16 Апрель 2011 в 13:02