Journal of Automated Reasoning
A dynamic-symbolic interface for geometric theorem discovery
Computers & Education
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
Visualizing Geometrical Statements with GeoView
Electronic Notes in Theoretical Computer Science (ENTCS)
Geometry Constructions Language
Journal of Automated Reasoning
Automatic verification of regular constructions in dynamic geometry systems
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
GCLC: a tool for constructive euclidean geometry and more than that
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Journal of Automated Reasoning
The web geometry laboratory project
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Hi-index | 0.00 |
The axiomatic presentation of geometry fills the gap between formal logic and our spatial intuition. The study of geometry is, and will always be, very important for a mathematical practitioner. GCLCprover, an automatic theorem prover (ATP) integrated with dynamic geometry software (DGS) gives its user a tool to bridge his/her spatial intuition with formal, Euclidean geometry proofs. GeoThms, a system consisting of the mentioned programs and a database geoDB, provides a framework for exploring geometrical knowledge. A GeoThms user can browse through a list of available geometric problems, their statements, illustrations, and proofs. He/she can also interactively produce new geometrical constructions, theorems, and proofs and add new results to the existing ones. GeoThms framework provides an environment suitable for new ways of studying and teaching geometry at different levels. GeoThms also provides a system for storing mathematical knowledge (in a explicit, declarative form) — not only theorem statements, but also their (automatically generated) proofs and corresponding illustrations.