Pages that link to "Item:Q2907319"
From MaRDI portal
The following pages link to Towards Understanding Triangle Construction Problems (Q2907319):
Displayed 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)
- New dynamics in dynamic geometry: dragging constructed points (Q2334574) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277) (← links)
- Automated triangle constructions in hyperbolic geometry (Q6185790) (← links)