RSS    

Видеокурсы

Видеокурсы по ВТ


GeoProof - система динамической геометрии

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

Плюсы:

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

Минусы:

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

Сайт разработчика: http://home.gna.org/geoproof/

Оставьте свой комментарий

Tags:

Добавить комментарий


Защитный код
Обновить

 

Самое читаемое:

Быстрый поиск

Подписаться в соцсетях

вКонтакте · Twitter · Facebook · Telegram

Инструкции к программам

Инструкции к программам

Новые информационные технологии и программы