Pages that link to "Item:Q2904392"
From MaRDI portal
The following pages link to Logic of Ruler and Compass Constructions (Q2904392):
Displayed 4 items.
- On the mechanization of straightedge and compass constructions (Q1730306) (← links)
- Implementing Euclid's straightedge and compass constructions in type theory (Q2631963) (← links)
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277) (← links)
- CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE (Q5346689) (← links)