You are here: Home / Activities / Origami research activities report (2007, 2008)

Origami research activities report (2007, 2008)

Research Achievements in Computational Origami Project in fiscal years 2007 - 2008

Formalization of Fold


Our work can be summarized as follows (from the abstract of the paper submitted for publication):

  • Algebraic model for origami:
    We formalize paper fold (origami) by graph rewriting.  Origami construction is abstractly described by a rewriting system (O, f), where O is the set of abstract origami's and f is a binary relation on O, that models fold. An abstract origami is a structure (Π, ∼, >), where Π is a set of faces constituting an origami, and ∼ and > are binary relations on Π, each representing adjacency and superposition relations between the faces.
  • Graph-theoretic treatment of origami fold process:
    We then address representation and transformation of abstract origami's and further reasoning about the construction for computational purposes. We present a labeled hypergraph of origami and define fold as algebraic graph transformation. The algebraic graph-theoretic formalism enables us to reason about origami in two separate domains of discourse, i.e. pure combinatorial domain where symbolic computation plays the main role and geometrical domain R x R. We detail the program language for the algebraic graph rewriting and graph rewriting algorithms for the fold, and show how fold is expressed by a set of graph rewrite rules.

 

Development of Web Environment for Computational Origami


We worked on building a web environment which enables interested origamists to manipulate origami through their web browsers, make new origami pieces, and reason about the geometrical properties of their constructions using methods from computer algebra. This led to the development of Origamium environment, which consists of the following integrated systems:
.
  • Web E-Origami System  (WebEos):
    A system for constructing origami using interactive graphical web interfaces using Ajax technology, and allows users to demonstrate pre-made origami constructions and obtain their geometrical properties as polynomials. A beta version is available here (WebEos)
  • Symbolic Computation Research Forum (Scorum):
    A Distributed system for symbolic computational web service, which provides access to web services for Maple and Mathematica implementations of Groebner Bases computation, which we use in origami reasoning and theorem proving.
  • E-Origami System (Eos):
    Eos is the mathematical engine behind our environment, which performs the actual origami manipulation and visualization. It is written using Mathematica, and we developed special packages which integrate it with the other systems using webMathematica.



Algebraic Formalization of Computational Origami Construction


One of the foundational studies of the computational origami  is the axiomatic definition of origami foldability inspired by Huzita's axioms. Huzita's axioms state the foldability of origami by asserting the existence of lines along which we can make a fold. A fold operation based on this axiomatic definition is performed along one single fold line.

  • Formalization of origami construction:
    We target a description of origami construction by a formal method. Therefore, we give a logical and algebraic formalization of Huzita's axioms. We define a many-sorted first-order logic language L and we specify its algebraic interpretation. Axioms are interpreted as set of polynomial equalities. Therefor, solving the polynomial equalities allow to find a fold line. We implemented a method HFold that allows the user to select one of the axiom and perform the fold operation.
  • Proof of the correctness of origami construction:
    The polynomial are recorded during the construction steps. They form the premise of the theorem to be proved. The proof is based on algebraic theorem proving methods such as Groebner bases and cylindrical algebraic decomposition.
  • Towards the discovery of new fold methods:
    Another fold method, called multifold method, extends the notion of foldability of origami paper. It allows making folds along multiple fold lines. The extension to the multifold is natural as HFold is implemented with the generality that allows the incorporation of the multifold. The multifold method can solve equation of degree higher than three. For instance, the quintisection of an angle was possible by multifold operations.

Publications
« February 2019 »
February
SuMoTuWeThFrSa
12
3456789
10111213141516
17181920212223
2425262728