Pages that link to "Item:Q633087"
From MaRDI portal
The following pages link to Morley's theorem revisited: origami construction and automated proof (Q633087):
Displaying 6 items.
- Formalizing polygonal knot origami (Q485841) (← links)
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- On \(n\)-sectors of the angles of an arbitrary triangle (Q1995812) (← links)
- Automated generation of geometric theorems from images of diagrams (Q2354910) (← links)
- (Q2985101) (← links)
- Proof Documents for Automated Origami Theorem Proving (Q3102737) (← links)
