Latex: a document preparation system
Latex: a document preparation system
A dynamic-symbolic interface for geometric theorem discovery
Computers & Education
An Introduction to Geometry Expert
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
GRAMY: A Geometry Theorem Prover Capable of Construction
Journal of Automated Reasoning
WinGCLC: a workbench for formally describing figures
SCCG '03 Proceedings of the 19th spring conference on Computer graphics
The TeXbook
GeoThms --- a Web System for Euclidean Constructive Geometry
Electronic Notes in Theoretical Computer Science (ENTCS)
A Graphical User Interface for Formal Proofs in Geometry
Journal of Automated Reasoning
Visualizing Geometrical Statements with GeoView
Electronic Notes in Theoretical Computer Science (ENTCS)
A web-based intelligent system for geometric discovery
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Skolem machines and geometric logic
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Automatic verification of regular constructions in dynamic geometry systems
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
An introduction to java geometry expert
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
Integrating dynamic geometry software, deduction systems, and theorem repositories
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
GCLC: a tool for constructive euclidean geometry and more than that
ICMS'06 Proceedings of the Second international conference on Mathematical Software
System description: GCLCprover + geothms
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Towards solving the dynamic geometry bottleneck via a symbolic approach
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
Towards a geometric-object-oriented language
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
A coq-based library for interactive and automated theorem proving in plane geometry
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV
Proof assistant decision procedures for formalizing origami
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Journal of Automated Reasoning
Towards understanding triangle construction problems
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Creating task-specific maps with map content transformations
Proceedings of the 1st ACM SIGSPATIAL International Workshop on MapInteraction
| Hi-index | 0.00 |
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.