Automated reasoning in geometry theorem proving with Prolog
Journal of Automated Reasoning
Geometry theorem proving using Hilbert's Nullstellensatz
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Automated geometry theorem proving using Buchberger's algorithm
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Proving geometry theorems with rewrite rules
Journal of Automated Reasoning
Mechanical geometry theorem proving
Mechanical geometry theorem proving
Mechanical theorem proving in geometries
Mechanical theorem proving in geometries
Realization of a geometry-theorem proving machine
Computers & thought
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
Journal of Automated Reasoning
Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
An Introduction to Geometry Expert
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
A Class of Geometry Statements of Constructive Type and Geometry TheoremProving
A Class of Geometry Statements of Constructive Type and Geometry TheoremProving
The Interactive Geometry Software Cinderella.2
The Interactive Geometry Software Cinderella.2
Empirical explorations of the geometry theorem machine
IRE-AIEE-ACM '60 (Western) Papers presented at the May 3-5, 1960, western joint IRE-AIEE-ACM computer conference
Automation of diagrammatic proofs in mathematics
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Mechanical theorem proving in Tarski's geometry
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
Visually Dynamic Presentation of Proofs in Plane Geometry
Journal of Automated Reasoning
Visually Dynamic Presentation of Proofs in Plane Geometry
Journal of Automated Reasoning
Journal of Automated Reasoning
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
With dynamic mediums such as computer displays, we propose a new kind of visually dynamic presentation of proofs in plane geometry. In a single diagram for the proof, when the proof text goes on step by step with mouse clicks, the related geometry elements in the diagram are added, animated, or deleted dynamically with various visually dynamic effects. It solves not only the problem of identifying geometry elements in the proof text with those in the diagram, but also makes the proof more vividly visualized and intuitive. Our ongoing developing system "Java Geometry Expert" (JGEX) uses two methods to create such visually dynamic presentations: the manual input method and the automatic method. In this first part of the series of our work, we propose the main features of our visually dynamic presentation of proofs and present the manual input method to create such presentations. The manual input method mainly uses mouse clicks to create the dynamic geometry diagram and the proof text.