Pages that link to "Item:Q1799289"
From MaRDI portal
The following pages link to The undecidability of orthogonal and origami geometries (Q1799289):
Displaying 5 items.
- Morley's theorem revisited: origami construction and automated proof (Q633087) (← links)
- Automated development of Tarski's geometry (Q1825046) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- Undecidable First-Order Theories of Affine Geometries (Q4649566) (← links)
- Axiomatizing origami planes (Q6612818) (← links)