Pages that link to "Item:Q2480964"
From MaRDI portal
The following pages link to Axiomatizing geometric constructions (Q2480964):
Displaying 8 items.
- Constructive geometrical reasoning and diagrams (Q375270) (← links)
- The axiomatics of ordered geometry: I. Ordered incidence spaces (Q533109) (← links)
- Uses of construction in problems and theorems in Euclid's \textit{Elements} I--VI (Q2413528) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- Towards Understanding Triangle Construction Problems (Q2907319) (← links)
- Quantifier elimination for elementary geometry and elementary affine geometry (Q3144868) (← links)
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277) (← links)
- Automated triangle constructions in hyperbolic geometry (Q6185790) (← links)
