Pages that link to "Item:Q294375"
From MaRDI portal
The following pages link to Automatic constructibility checking of a corpus of geometric construction problems (Q294375):
Displaying 6 items.
- Constructibility classes for triangle location problems (Q294373) (← links)
- Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints (Q1595928) (← links)
- Using jointly geometry and algebra to determine RC-constructibility (Q1640643) (← links)
- On the mechanization of straightedge and compass constructions (Q1730306) (← links)
- An Interesting Construction Problem (Q4577067) (← links)
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems (Q5453483) (← links)