Pages that link to "Item:Q1846745"
From MaRDI portal
The following pages link to Higher order rule characterization of heuristics of compass and straight edge constructions in geometry (Q1846745):
Displaying 4 items.
- Constructibility classes for triangle location problems (Q294373) (← links)
- Sketch-based pruning of a solution space within a formal geometric constraint solver (Q1589579) (← links)
- On the mechanization of straightedge and compass constructions (Q1730306) (← links)
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277) (← links)