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.
此社区软件包未经 ADG Foundation 验证、附属或支持。
Release description
