Pages that link to "Item:Q2765707"

The following pages link to Automatted geometry theorem proving (Q2765707):

Displaying 21 items.

• The area method. A recapitulation (Q437042) (← links)
• Proving geometry theorems with rewrite rules (Q1101255) (← links)
• Euclidean geometry in terms of automata theory (Q1124346) (← links)
• Mechanical theorem proving in differential geometry: Local theory of surfaces (Q1368208) (← links)
• Automatic generation of staged geometric predicates (Q1426869) (← links)
• A deductive database approach to automated geometry theorem proving and discovering (Q1581854) (← links)
• Generalizing Morley's and other theorems with automated realization (Q1655490) (← links)
• Automated theorem proving practice with null geometric algebra (Q1730305) (← links)
• Geometric theorem proving by integrated logical and algebraic reasoning (Q1855223) (← links)
• Automated deduction and knowledge management in geometry (Q1995808) (← links)
• Automatically building diagrams for olympiad geometry problems (Q2055892) (← links)
• Automated reasoning in geometry (Q2751363) (← links)
• Mechanical geometry theorem proving (Q2765682) (← links)
• Readable machine proofs for mass point geometry (Q2911357) (← links)
• Automatizing geometric proofs and constructions (Q3804232) (← links)
• (Q4556039) (← links)
• (Q4946077) (← links)
• Computational Science and Its Applications – ICCSA 2004 (Q5307230) (← links)
• Automatic Verification of Regular Constructions in Dynamic Geometry Systems (Q5453483) (← links)
• A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry (Q5453491) (← links)
• Automatic Deduction in an AI Geometry Book (Q6108829) (← links)