Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method

DOI10.1007/s10817-009-9162-5zbMath1211.68372OpenAlexW1515021858MaRDI QIDQ616846

Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao

Publication date: 12 January 2011

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-009-9162-5

zbMATH Keywords

dynamic geometryPythagorean theoremMorley's theoremFeuerbach's theoremGelerntergeometry theorem provingJava Geometry Expertpedal triangleunordered geometryvisually dynamic presentation of proof

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Software, source code, etc. for problems pertaining to geometry (51-04)

Related Items

Automated theorem proving in GeoGebra: current achievements, The Relation Tool in GeoGebra 5, Automated discovery of geometric theorems based on vector equations, Self-evident automated geometric theorem proving based on complex number identity, Automated generation of illustrated proofs in geometry and beyond, The area method. A recapitulation, A review and prospect of readable machine proofs for geometry theorems, Self-evident automated proving based on point geometry from the perspective of Wu's method identity, Automated deduction and knowledge management in geometry, Taxonomies of geometric problems, Automated generation of geometric theorems from images of diagrams

Uses Software

• Cinderella
• MMP/Geometer
• Geometer's Sketchpad
• GEX
• JGEX

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method
• On the application of Buchberger's algorithm to automated geometry theorem proving
• Automated reasoning in geometry theorem proving with Prolog
• Proving geometry theorems with rewrite rules
• Plane geometry theorem proving using forward chaining
• A deductive database approach to automated geometry theorem proving and discovering
• Automated Reasoning
• Mechanical Theorem Proving in Tarski’s Geometry
• Theorem Proving in Higher Order Logics
• Artificial Intelligence and Symbolic Computation
• Automated Deduction in Geometry
• Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles