GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.
latex
geometry
mathematics
tikz
theorem-prover
automated-theorem-proving
teaching-geometry
mathematical-illustrations
software-for-teaching
-
Updated
Jul 1, 2024 - C++