Pages that link to "Item:Q3452277"
From MaRDI portal
The following pages link to Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277):
Displaying 7 items.
- Constructibility classes for triangle location problems (Q294373) (← links)
- Automatic constructibility checking of a corpus of geometric construction problems (Q294375) (← links)
- Using jointly geometry and algebra to determine RC-constructibility (Q1640643) (← links)
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- On the mechanization of straightedge and compass constructions (Q1730306) (← links)
- New dynamics in dynamic geometry: dragging constructed points (Q2334574) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
