Pages that link to "Item:Q5453483"
From MaRDI portal
The following pages link to Automatic Verification of Regular Constructions in Dynamic Geometry Systems (Q5453483):
Displaying 6 items.
- The area method. A recapitulation (Q437042) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Geometry constructions language (Q2655329) (← links)
- Current Status of the I2GATP Common Format (Q3452280) (← links)
