The following pages link to (Q5792724):
Displaying 10 items.
- Automatic constructibility checking of a corpus of geometric construction problems (Q294375) (← links)
- Geometric construction by assembling solved subfigures (Q1128611) (← links)
- Using jointly geometry and algebra to determine RC-constructibility (Q1640643) (← links)
- On the mechanization of straightedge and compass constructions (Q1730306) (← links)
- Some remarks on the fractal structure of irrigation balls (Q2631653) (← links)
- Planar linkages following a prescribed motion (Q2826691) (← links)
- Towards Understanding Triangle Construction Problems (Q2907319) (← links)
- Experimental Approaches to Theoretical Thinking: Artefacts and Proofs (Q2915844) (← links)
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277) (← links)
- \((2,3)\)-constructible numbers (Q5937636) (← links)
