Proof Documents for Automated Origami Theorem Proving
From MaRDI portal
Recommendations
- Proof assistant decision procedures for formalizing origami
- scientific article; zbMATH DE number 2217748
- Artificial Intelligence and Symbolic Computation
- scientific article; zbMATH DE number 2220992
- Automated constructivization of proofs
- Morley's theorem revisited: origami construction and automated proof
- scientific article; zbMATH DE number 1189075
- Verifiable origami folding
- scientific article; zbMATH DE number 1360950
- Automating the search for elegant proofs
Cites work
- A graphical user interface for formal proofs in geometry
- A mathematical theory of origami constructions and numbers
- Abstract algebra and famous impossibilities
- Automated Deduction in Geometry
- Automated Deduction in Geometry
- Basic principles of mechanical theorem proving in elementary geometries
- Computational construction of a maximum equilateral triangle inscribed in an origami
- Interacting with Modal Logics in the Coq Proof Assistant
- Morley's theorem revisited: origami construction and automated proof
- Proof Documents for Automated Origami Theorem Proving
- The THOREM project: A progress report
Cited in
(5)
This page was built for publication: Proof Documents for Automated Origami Theorem Proving
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3102737)
