Formalizing polygonal knot origami

DOI10.1016/J.JSC.2014.09.031zbMATH Open1314.68348OpenAlexW1964325805MaRDI QIDQ485841FDOQ485841

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

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

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)

Cites Work

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

Cited In (3)

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

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)