Formalizing polygonal knot origami

DOI10.1016/J.JSC.2014.09.031MaRDI QIDQ485841zbMATH OpenOpenAlexFDO

Authors Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi

Publication date 14 January 2015

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

Full work available at URL https://doi.org/10.1016/j.jsc.2014.09.031

zbMATH Keywords

computational origamigeometrical theorem provingknot foldGröbner bases

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• Automated Deduction in Geometry
• Computational origami construction as constraint solving and rewriting
• Knot embeddings in improper foldings
• Algebraic analysis of Huzita's origami operations and their extensions
• An introduction to computational origami

Cites work

• scientific article; zbMATH DE number 960157 (Why is no real title available?)
• Algebraic analysis of Huzita's origami operations and their extensions
• Automated Deduction in Geometry
• Computational construction of a maximum equilateral triangle inscribed in an origami
• Morley's theorem revisited: origami construction and automated proof
• Origami fold as algebraic graph rewriting
• Polygonal Knots
• Proof Documents for Automated Origami Theorem Proving
• The TH\(\exists\)OREM\(\forall\) project: A progress report

Cited in

(3)

• On the mechanization of straightedge and compass constructions
• Knot embeddings in improper foldings
• Geodesic universal molecules

Describes a project that uses

Uses Software

• Mathematica
• Theorema

This page was built for publication: Formalizing polygonal knot origami

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