Pages that link to "Item:Q1730306"
From MaRDI portal
The following pages link to On the mechanization of straightedge and compass constructions (Q1730306):
Displaying 10 items.
- Automatic constructibility checking of a corpus of geometric construction problems (Q294375) (← links)
- A result about the power of geometric oracle machines (Q1177163) (← links)
- Using jointly geometry and algebra to determine RC-constructibility (Q1640643) (← links)
- Algorithms and geometric constructions (Q1670771) (← links)
- Foreword to the special issue (Q1730296) (← links)
- Geometric constructions (Q2765509) (← links)
- Geometric constructions for geometric optics using a straightedge only (Q2927919) (← links)
- What is the Church-Turing Thesis? (Q5055286) (← links)
- Automated triangle constructions in hyperbolic geometry (Q6185790) (← links)
- On automating triangle constructions in absolute and hyperbolic geometry (Q6653955) (← links)