Pages that link to "Item:Q5961492"

The following pages link to Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation (Q5961492):

Displaying 15 items.

• The area method. A recapitulation (Q437042) (← links)
• Geometric constraint solving with geometric transformation (Q865932) (← 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 graphical user interface for formal proofs in geometry (Q2462636) (← links)
• GeoThms — a Web System for Euclidean Constructive Geometry (Q2867934) (← links)
• Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry (Q3102739) (← links)
• Automatic Verification of Regular Constructions in Dynamic Geometry Systems (Q5453483) (← links)
• Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles (Q5961493) (← 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 discovery of angle theorems (Q6185786) (← links)
• A program to create new geometry proof problems (Q6185788) (← links)