Formalizing polygonal knot origami

DOI10.1016/J.JSC.2014.09.031zbMath1314.68348OpenAlexW1964325805MaRDI QIDQ485841

Fadoua Ghourabi, Tetsuo Ida, 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

Gröbner basescomputational origamigeometrical theorem provingknot fold

Mathematics Subject Classification ID

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

Related Items (2)

Geodesic universal molecules ⋮ On the mechanization of straightedge and compass constructions

Uses Software

• Mathematica
• Theorema

Cites Work

• Morley's theorem revisited: origami construction and automated proof
• Origami fold as algebraic graph rewriting
• 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
• Unnamed Item
• Unnamed Item

This page was built for publication: Formalizing polygonal knot origami