Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami

DOI10.1007/11832225_36zbMath1230.51023OpenAlexW1516878276MaRDI QIDQ5747831

Asem Kasem, Mircea Marin, Fadoua Ghourabi, Hidekazu Takahashi, Tetsuo Ida

Publication date: 14 September 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11832225_36

Mathematics Subject Classification ID

Geometric constructions in real or complex geometry (51M15)

Related Items (6)

Morley's theorem revisited: origami construction and automated proof ⋮ Formalizing polygonal knot origami ⋮ Origami fold as algebraic graph rewriting ⋮ Proof Assistant Decision Procedures for Formalizing Origami ⋮ Proof Documents for Automated Origami Theorem Proving ⋮ Lang's universal molecule algorithm

This page was built for publication: Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami