Morley's theorem revisited: origami construction and automated proof

DOI10.1016/J.JSC.2010.10.007MaRDI QIDQ633087zbMATH OpenOpenAlexFDO

Authors Tetsuo Ida, Asem Kasem, Fadoua Ghourabi, Hidekazu Takahashi

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

[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Gr%EF%BF%BD%EF%BF%BDbner+bases&go=Go Gr��bner bases]computational origamiMorley's theoremautomated 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)

Recommendations

• An application of a theorem of alternatives to origami
• The undecidability of orthogonal and origami geometries
• Mathematical Knowledge Management
• scientific article; zbMATH DE number 2217748
• A New Geometric Proof for Morley’s Theorem
• Proof Documents for Automated Origami Theorem Proving
• A proof of morley's conjecture
• scientific article; zbMATH DE number 1784373
• Artificial Intelligence and Symbolic Computation
• Euclidean Constructions and the Geometry of Origami

Cites work

• scientific article; zbMATH DE number 3941661 (Why is no real title available?)
• scientific article; zbMATH DE number 2110642 (Why is no real title available?)
• scientific article; zbMATH DE number 2217748 (Why is no real title available?)
• A mathematical theory of origami constructions and numbers
• Abstract algebra and famous impossibilities
• Artificial Intelligence and Symbolic Computation
• Basic principles of mechanical theorem proving in elementary geometries
• Computational construction of a maximum equilateral triangle inscribed in an origami
• Converting bases with the Gröbner walk

Cited in

(9)

• Mathematical Knowledge Management
• Computational construction of a maximum equilateral triangle inscribed in an origami
• On \(n\)-sectors of the angles of an arbitrary triangle
• Formalizing polygonal knot origami
• Side lengths of Morley triangles and tetrahedra
• Generalizing Morley's and other theorems with automated realization
• Automated generation of geometric theorems from images of diagrams
• Proof Documents for Automated Origami Theorem Proving
• Towards an intelligent and dynamic geometry book

Describes a project that uses

Uses Software

• Epsilon

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q633087)