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

GCLC это программа для визуализации геометрических рисунков и обучения геометрии, а также для создания математических иллюстраций. В GCLC фигуры не рисуются, а описываются.

Этот подход основан на том факте, что геометрические построения являются абстрактными, формальными процедурами, а не фигурами. Конкретная фигура может быть сгенерирована на базе абстрактного описания. Поддерживаются несколько выходных форматов, включая LaTeX, SVG, PostScript. Программа включает встроенную систему доказательства геометрических теорем (основанную на методе площадей).
GCLC доступна в версиях для Windows и Linux. WinGCLC это Windows-версия GCLC с графическим интерфейсом и рядом дополнительных функциональных возможностей.

Сайт разработчика: http://poincare.matf.bg.ac.rs/~janicic//gclc/
Что почитать?

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