Proof Documents for Automated Origami Theorem Proving
From MaRDI portal
Publication:3102737
DOI10.1007/978-3-642-25070-5_5zbMath1350.68235OpenAlexW2141766326MaRDI QIDQ3102737
Fadoua Ghourabi, Tetsuo Ida, Asem Kasem
Publication date: 25 November 2011
Published in: Automated Deduction in Geometry (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-25070-5_5
Related Items
Formalizing polygonal knot origami, Proof Assistant Decision Procedures for Formalizing Origami, Proof Documents for Automated Origami Theorem Proving
Uses Software
Cites Work
- Unnamed Item
- Morley's theorem revisited: origami construction and automated proof
- Basic principles of mechanical theorem proving in elementary geometries
- Abstract algebra and famous impossibilities
- A mathematical theory of origami constructions and numbers
- A graphical user interface for formal proofs in geometry
- Proof Documents for Automated Origami Theorem Proving
- Interacting with Modal Logics in the Coq Proof Assistant
- Automated Deduction in Geometry
- Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami
- Automated Deduction in Geometry