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

DOI10.1007/s10817-009-9163-4zbMath1211.68373OpenAlexW2803506036MaRDI QIDQ616847

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-9163-4

zbMATH Keywords

deductive databaseHilbert geometrydynamic geometryfixpointfull-anglegeometry theorem provingproof with hierarchical structuresTarski geometryunordered geometryvisually dynamic presentation of proof

Mathematics Subject Classification ID

Related Items (7)

The Relation Tool in GeoGebra 5 ⋮ Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method ⋮ Measuring the readability of geometric proofs: the area method case ⋮ 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 ⋮ Taxonomies of geometric problems

Uses Software

• QEPCAD
• GEX
• JGEX

Cites Work

• On the application of Buchberger's algorithm to automated geometry theorem proving
• Proving geometry theorems with rewrite rules
• On mechanical quantifier elimination for elementary algebra and geometry
• Partial cylindrical algebraic decomposition for quantifier elimination
• Plane geometry theorem proving using forward chaining
• A deductive database approach to automated geometry theorem proving and discovering
• Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: 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