We present GCLC /WlNGCLC - 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. π Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Janičić, P. (2006). GCLC - A tool for constructive euclidean geometry and more than that. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4151 LNCS, pp. 58–73). Springer Verlag. https://doi.org/10.1007/11832225_6
Mendeley helps you to discover research relevant for your work.