GCLC

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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

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

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

1 2 next

  1. Krueger, Ryan; Han, Jesse Michael; Selsam, Daniel: Automatically building diagrams for olympiad geometry problems (2021)
  2. Quaresma, Pedro: Automated deduction and knowledge management in geometry (2020)
  3. Quaresma, Pedro; Santos, Vanda; Graziani, Pierluigi; Baeta, Nuno: Taxonomies of geometric problems (2020)
  4. Selaković, Milica; Marinković, Vesna; Janičić, Predrag: New dynamics in dynamic geometry: dragging constructed points (2020)
  5. Boutry, Pierre; Braun, Gabriel; Narboux, Julien: Formalization of the arithmetization of Euclidean plane geometry and applications (2019)
  6. Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag: Portfolio theorem proving and prover runtime prediction for geometry (2019)
  7. Stojanović-Ðurđević, Sana: From informal to formal proofs in Euclidean geometry (2019)
  8. Barthel, Tobias (ed.); Krause, Henning (ed.); Stojanoska, Vesna (ed.): Mini-workshop: Chromatic phenomena and duality in homotopy theory and representation theory. Abstracts from the mini-workshop held March 4--10, 2018 (2018)
  9. Denham, Graham (ed.); Gaiffi, Giovanni (ed.); Jímenez Rolland, Rita (ed.); Suciu, Alexander I. (ed.): Topology of arrangements and representation stability. Abstracts from the workshop held January 14--20, 2018 (2018)
  10. Feragen, Aasa (ed.); Hotz, Thomas (ed.); Huckemann, Stephan (ed.); Miller, Ezra (ed.): Statistics for data with geometric structure. Abstracts from the workshop held January 21--27, 2018 (2018)
  11. Breuillard, Emmanuel (ed.); Hochman, Michael (ed.); Shmerkin, Pablo (ed.): Working session: Additive combinatorics, entropy, and fractal geometry. Abstracts from the working session held October 8--13, 2017 (2017)
  12. Quaresma, Pedro: Towards an intelligent and dynamic geometry book (2017)
  13. Schreck, Pascal; Marinković, Vesna; Janičić, Predrag: Constructibility classes for triangle location problems (2016)
  14. 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)
  15. Botana, Francisco; Kovács, Zoltán: A Singular web service for geometric computations (2015)
  16. Bulf, Caroline; Mathé, Anne-Cécile; Mithalal, Joris: Language and knowledge construction in a geometry problem-solving situation (2015) MathEduc
  17. Marinković, Vesna; Janičić, Predrag; Schreck, Pascal: Computer theorem proving for verifiable solving of geometric construction problems (2015)
  18. Quaresma, Pedro; Baeta, Nuno: Current status of the I2GATP common format (2015)
  19. Chen, Xiaoyu: Representation and automated transformation of geometric statements (2014)
  20. Chen, Xiaoyu; Wang, Dongming: Formalization and specification of geometric knowledge objects (2013)

1 2 next