GCLC

(Geometry Constructions -> LaTeX Converter) is a mathematical software tool for visualizing geometry and producing high-quality digital mathematical illustrations.

GCLC

was initially built as a tool for converting formal descriptions of geometric constructions into LaTeX form, but now it is much more than that. For instance, there is support for symbolic expressions, for drawing parametric curves, for program loops, user-defined procedures, etc. Built-in theorem provers can automatically prove a range of complex theorems, and the graphical interface makes GCLC a tool for teaching geometry and other mathematical fields as well.

GCLC