Pages that link to "Item:Q5961493"

The following pages link to Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles (Q5961493):

Displaying 16 items.

• Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
• The area method. A recapitulation (Q437042) (← links)
• Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (Q616846) (← links)
• 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 (Q616847) (← links)
• Generalizing Morley's and other theorems with automated realization (Q1655490) (← links)
• Towards an intelligent and dynamic geometry book (Q1701659) (← links)
• Automated deduction and knowledge management in geometry (Q1995808) (← links)
• Taxonomies of geometric problems (Q2334578) (← links)
• A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
• A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (Q3102745) (← links)
• Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method (Q3102746) (← links)
• GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry (Q5041061) (← links)
• A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs (Q5170235) (← links)
• Self-evident automated geometric theorem proving based on complex number identity (Q6149590) (← links)
• Measuring the readability of geometric proofs: the area method case (Q6156633) (← links)
• Automated generation of illustrated proofs in geometry and beyond (Q6185789) (← links)