Eos project

Welcome to Eos homepage!


About Origami

Origami, the art of paper folding, attracts attention for its beauty and its utility in everyday life. Origami has also been the scope of mathematical studies. The folding operations are simple, in the sense that they are easily realized by hand, but powerful enough to solve cubic equations. Therefore, origami is regarded as a powerful geometrical tool allowing constructions that cannot be realized by Euclidean classical tools.

About Eos (E-Origami System)

Computational origami system Eos is designed to study the mathematical foundations of paper folds. It includes capabilities of modeling fold operations by algebraic and symbolic methods, computer simulation of origami construction, and proofs of the correctness of the constructed origami. Eos is developed by members of Symbolic Computation Research Group (SCORE), department of computer science of the University of Tsukuba.

Research themes

Symbolic computation
Theorem proving
Computational Origami