Pages that link to "Item:Q3102746"
From MaRDI portal
The following pages link to Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method (Q3102746):
Displaying 4 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Self-evident automated proving based on point geometry from the perspective of Wu's method identity (Q1730304) (← links)
- A symbolic dynamic geometry system using the analytical geometry method (Q1995810) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
