Pages that link to "Item:Q488928"
From MaRDI portal
The following pages link to Representation and automated transformation of geometric statements (Q488928):
Displaying 7 items.
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- Retrieving geometric information from images: the case of hand-drawn diagrams (Q1741163) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Current Status of the I2GATP Common Format (Q3452280) (← links)
- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams (Q3452283) (← links)
- (Q4964702) (← links)
- Automatic Deduction in an AI Geometry Book (Q6108829) (← links)