GCLC swMATH ID: 326 Software Authors: Janičić, Predrag Description: 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. Homepage: http://poincare.matf.bg.ac.rs/~janicic/gclc/ Keywords: visualizing geometrical objects Related Software: GeoThms; GCLCprover; GeoGebra; GEX; GEOTHER 1.1; Cinderella; GeoProof; gcl; MMP/Geometer; TGTP; Intergeo; Coq; GeoView; JGEX; ArgoCLP; OpenGeoProver; Geometer's Sketchpad; Electronic Geometry Textbook; Eukleides; Theorema Cited in: 30 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year GCLC – a tool for constructive Euclidean geometry and more than that. Zbl 1230.51024Janičić, Predrag 2006 all top 5 Cited by 44 Authors 11 Janičić, Predrag 9 Quaresma, Pedro 4 Marinković, Vesna 3 Chen, Xiaoyu 3 Kovács, Zoltán 2 Baeta, Nuno 2 Botana, Francisco 2 Narboux, Julien 2 Schreck, Pascal 1 Barthel, Tobias 1 Boutry, Pierre 1 Braun, Gabriel 1 Breuillard, Emmanuel 1 Denham, Graham 1 Edalat, Abbas 1 Feragen, Aasa 1 Gaiffi, Giovanni 1 Graziani, Pierluigi 1 Han, Jesse Michael 1 Hochman, Michael 1 Hohenwarter, Markus 1 Hotz, Thomas 1 Huckemann, Stephan F. 1 Ida, Tetsuo 1 Iglesias, Andrés 1 Jiménez Rolland, Rita 1 Kaliszyk, Cezary 1 Krause, Henning 1 Krueger, Ryan 1 Lieutier, André 1 Miller, Ezra 1 Nikolić, Mladen 1 Petrovic, Ivan 1 Recio, Tomas 1 Santos, Vanda 1 Selaković, Milica 1 Selsam, Daniel 1 Shmerkin, Pablo S. 1 Stojanoska, Vesna 1 Stojanović Đurđević, Sana 1 Suciu, Alexander I. 1 Takayama, Nobuki 1 Wang, Dongming 1 Weitzhofer, Simon all top 5 Cited in 8 Serials 4 Oberwolfach Reports 4 Mathematics in Computer Science 3 Journal of Symbolic Computation 3 Journal of Automated Reasoning 3 Annals of Mathematics and Artificial Intelligence 1 Theoretical Computer Science 1 Journal of Systems Science and Complexity 1 Lecture Notes in Computer Science all top 5 Cited in 20 Fields 25 Computer science (68-XX) 10 Geometry (51-XX) 5 General and overarching topics; collections (00-XX) 5 Mathematical logic and foundations (03-XX) 3 Algebraic geometry (14-XX) 3 Algebraic topology (55-XX) 2 Group theory and generalizations (20-XX) 2 Numerical analysis (65-XX) 2 Mathematics education (97-XX) 1 Number theory (11-XX) 1 Associative rings and algebras (16-XX) 1 Category theory; homological algebra (18-XX) 1 Measure and integration (28-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Convex and discrete geometry (52-XX) 1 Differential geometry (53-XX) 1 Manifolds and cell complexes (57-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) Citations by Year