Pages that link to "Item:Q3267774"
From MaRDI portal
The following pages link to A note on syntactic symmetry and the manipulation of formal systems by machine (Q3267774):
Displaying 4 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Using geometric rewrite rules for solving geometric problems symbolically (Q685375) (← links)
- Automated reasoning in geometry theorem proving with Prolog (Q1101254) (← links)
- An examination of the geometry theorem machine (Q2542288) (← links)