We present GCLC/WinGCLC -- a tool for visualizing geometrical (and not only geometrical) objects and notions, for teaching/studying mathematics, and for producing mathematical illustrations of high quality. GCLC uses a language GC for declarative representation of figures and for storing mathematical contents of visual nature in textual form. In GCLC, there is a build-in geometrical theorem prover which directly links visual and semantical geometrical information with deductive properties and machine-generated proofs.

References in zbMATH (referenced in 16 articles , 1 standard article )

Showing results 1 to 16 of 16.
Sorted by year (citations)

  1. Schreck, Pascal; Marinković, Vesna; Janičić, Predrag: Constructibility classes for triangle location problems (2016)
  2. 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)
  3. Botana, Francisco; Kovács, Zoltán: A Singular web service for geometric computations (2015)
  4. Marinković, Vesna; Janičić, Predrag; Schreck, Pascal: Computer theorem proving for verifiable solving of geometric construction problems (2015)
  5. Quaresma, Pedro; Baeta, Nuno: Current status of the I2GATP common format (2015)
  6. Chen, Xiaoyu: Representation and automated transformation of geometric statements (2014)
  7. Chen, Xiaoyu; Wang, Dongming: Formalization and specification of geometric knowledge objects (2013)
  8. Janičić, Predrag; Narboux, Julien; Quaresma, Pedro: The area method. A recapitulation (2012)
  9. Chen, Xiaoyu: Electronic Geometry Textbook: a geometric textbook knowledge management system (2010)
  10. Janičić, Predrag: Geometry constructions language (2010)
  11. Janičić, Predrag; Quaresma, Pedro: Automatic verification of regular constructions in dynamic geometry systems (2007)
  12. Quaresma, Pedro; Janicic, Predrag: Geothms - a web system for Euclidean constructive geometry. (2007)
  13. Iglesias, Andrés (ed.); Takayama, Nobuki (ed.): Mathematical software -- ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1--3, 2006. Proceedings (2006)
  14. Janičić, Predrag: GCLC -- a tool for constructive Euclidean geometry and more than that (2006)
  15. Quaresma, Pedro; Janičić, Predrag: Integrating dynamic geometry software, deduction systems, and theorem repositories (2006)
  16. Edalat, Abbas; Lieutier, André: Foundation of a computable solid modelling. (2002)