Morley's theorem revisited: origami construction and automated proof

DOI10.1016/j.jsc.2010.10.007zbMath1211.51011OpenAlexW2003371111MaRDI QIDQ633087

Hidekazu Takahashi, Tetsuo Ida, Asem Kasem, Fadoua Ghourabi

Publication date: 31 March 2011

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://tsukuba.repo.nii.ac.jp/?action=repository_action_common_download&item_id=24564&item_no=1&attribute_id=17&file_no=1

zbMATH Keywords

Gröbner basesMorley's theoremcomputational origamiautomated geometrical theorem proving

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Geometric constructions in real or complex geometry (51M15)

Related Items (6)

Unnamed Item ⋮ Towards an intelligent and dynamic geometry book ⋮ Formalizing polygonal knot origami ⋮ On \(n\)-sectors of the angles of an arbitrary triangle ⋮ Proof Documents for Automated Origami Theorem Proving ⋮ Automated generation of geometric theorems from images of diagrams

Uses Software

• Epsilon

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Basic principles of mechanical theorem proving in elementary geometries
• Abstract algebra and famous impossibilities
• Converting bases with the Gröbner walk
• A mathematical theory of origami constructions and numbers
• Artificial Intelligence and Symbolic Computation
• Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami

This page was built for publication: Morley's theorem revisited: origami construction and automated proof