GCLC 9.0/WinGCLC 2009. What is GCLC? GCLC ((c) Predrag Janicic 1996-2009) (from ”Geometry Constructions->LaTeX converter”) is a tool for visualizing and teaching geometry, and for producing mathematical illustrations. GCLC provides easy-to-use support for many geometrical constructions, isometric transformations, conics, parametric curves, flow control, automated theorem proving, etc. The basic idea behind GCLC is that constructions are formal procedures, rather than drawings. Thus, in GCLC, producing mathematical illustrations is based on ”describing figures” rather than of ”drawing figures”. Figures can be displayed and exported to LaTeX and other formats. WinGCLC is the Windows version of GCLC and provides a range of additional functionalities.
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Billich, Martin: Computer proofs in plane geometry (2011)
- Quaresma, Pedro; Janičić, Predrag: GeoThms -- a web system for Euclidean constructive geometry (2007)
- Janičić, Predrag: GCLC -- a tool for constructive Euclidean geometry and more than that (2006)
- Quaresma, Pedro; Janičić, Predrag: Integrating dynamic geometry software, deduction systems, and theorem repositories (2006)