Geometry Constructions Language (gcl) is a language for explicit descriptions of constructions in Euclidean plane and of their properties. Other mathematical objects can also be described in the language. The language gcl is intuitive and simple, yet it supports arrays, flow control structures, user-defined procedures, etc. The processors for the gcl language-applications gclc and Wingclc-enable visualization of described objects and producing of mathematical illustrations, provide different semantical information and support for automated proving of properties of the constructed objects. These features make the tools gclc and Wingclc powerful mechanized geometry systems and they have thousands of users worldwide.
Keywords for this software
References in zbMATH (referenced in 9 articles , 1 standard article )
Showing results 1 to 9 of 9.
- Quaresma, Pedro; Santos, Vanda; Graziani, Pierluigi; Baeta, Nuno: Taxonomies of geometric problems (2020)
- Selaković, Milica; Marinković, Vesna; Janičić, Predrag: New dynamics in dynamic geometry: dragging constructed points (2020)
- Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag: Portfolio theorem proving and prover runtime prediction for geometry (2019)
- Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon: Automated theorem proving in GeoGebra: current achievements (2015)
- Botana, Francisco; Kovács, Zoltán: A Singular web service for geometric computations (2015)
- Marinković, Vesna; Janičić, Predrag; Schreck, Pascal: Computer theorem proving for verifiable solving of geometric construction problems (2015)
- Janičić, Predrag; Narboux, Julien; Quaresma, Pedro: The area method. A recapitulation (2012)
- Kaliszyk, Cezary; Ida, Tetsuo: Proof assistant decision procedures for formalizing origami (2011)
- Janičić, Predrag: Geometry constructions language (2010)