Visually Dynamic Presentation of Proofs in Plane Geometry

Authors:
Zheng Ye;Shang-Ching Chou;Xiao-Shan Gao
Affiliations:
College of Computer Science and Technology, Zhejiang University, Hangzhou, China;Department of Computer Science, Wichita State University, Wichita, USA 67220;KLMM, Institute of Systems Science, The Chinese Academy of Sciences, Beijing, China
Venue:
Journal of Automated Reasoning
Year:
2010

Citing 11
Cited 3

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
On mechanical quantifier elimination for elementary algebra and geometry

Journal of Symbolic Computation
Partial Cylindrical Algebraic Decomposition for quantifier elimination

Journal of Symbolic Computation
Mechanical theorem proving in geometries

Mechanical theorem proving in geometries
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering

Journal of Automated Reasoning
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition

Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Proving Geometry Statements of Constructive Type

CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Visually Dynamic Presentation of Proofs in Plane Geometry

Journal of Automated Reasoning

Visually Dynamic Presentation of Proofs in Plane Geometry

Journal of Automated Reasoning
An introduction to java geometry expert

ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
The Area Method

Journal of Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present the method for automated generation of visually dynamic presentations of plane geometry proofs based on the full-angle method. The proof generated by the full-angle method is organized hierarchically, thus it is particularly suitable for visual presentations. We also present the method for automated generation of visually dynamic presentation of proofs for the deductive database method with an additional new visual feature: given a geometrical configuration or a diagram, the final database (the fixpoint) in the deductive database method has numerous geometric properties organized into a few categories. By clicking each category, all properties of the configuration in this category are listed. And by clicking each of these properties, the corresponding geometry elements in the diagram blink or animate and, if needed, the proof of this property is generated.