Morley's theorem revisited: origami construction and automated proof

DOI10.1016/J.JSC.2010.10.007zbMATH Open1211.51011OpenAlexW2003371111MaRDI QIDQ633087FDOQ633087

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Converting bases with the Gröbner walk
• Basic principles of mechanical theorem proving in elementary geometries
• Title not available (Why is that?)
• Computational construction of a maximum equilateral triangle inscribed in an origami
• Abstract algebra and famous impossibilities
• A mathematical theory of origami constructions and numbers
• Artificial Intelligence and Symbolic Computation

Cited In (8)

• On \(n\)-sectors of the angles of an arbitrary triangle
• Proof Documents for Automated Origami Theorem Proving
• Formalizing polygonal knot origami
• Mathematical Knowledge Management
• Automated generation of geometric theorems from images of diagrams
• Title not available (Why is that?)
• Towards an intelligent and dynamic geometry book
• Computational construction of a maximum equilateral triangle inscribed in an origami

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)