Pages that link to "Item:Q1101254"

The following pages link to Automated reasoning in geometry theorem proving with Prolog (Q1101254):

Displaying 10 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)
• Using geometric rewrite rules for solving geometric problems symbolically (Q685375) (← links)
• Wu's method and its application to perspective viewing (Q1115642) (← links)
• A refutational approach to geometry theorem proving (Q1124373) (← links)
• Geometric theorem proving by integrated logical and algebraic reasoning (Q1855223) (← 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)