RSS    

Видеокурсы

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

Опасности в социальных сетях

Социальные сети

Программы для бесплатного просмотра online tv...  

Компьютер заражен? Есть несколько вариантов вылечить ПК...

Стандарт LTE - Long-Term Evolution - или стандарт связи четвертого поколения (4G) считается перспективным... 



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

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

Плюсы:

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

Минусы:

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

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

Оставьте свой отзыв:

Tags:

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


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

 

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

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

Группа вКонтакте: новости

 

Новости в Twitter и Facebook

  подписка на новости в twitter              Подписка на новости facebook

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

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

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