Pages that link to "Item:Q1101254"
From MaRDI portal
The following pages link to Automated reasoning in geometry theorem proving with Prolog (Q1101254):
Displaying 4 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)
