News: Registration of members of class “mono-reader” by users has been stopped temporarily on April 15, 11:45,2022 (JST). Please send an email to firstname.lastname@example.org with the title ” i-eos subscription.” If you intend to download Eos, please write the purpose of the use.
News: Email communication between this site and you have become more secure. We now use OAuth2. See this post.
News: Eos3-5-0 runs on Mathematica 13.0.0.
See this post (February 1, 2022)
News: We released Eos3.5.0 and related files.
News: Uploaded Orikoto Tutorial at SYNASC 2021. Read this post.
News: Uploaded. Slide for the invited talk at SYNSC 2021. Read this post..
News: Eos3.41 is out! Read this post.
Origami, the art of paper folding, has attracted the minds of people for its beauty and its utility in everyday life. Origami has also been the scope of serious 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.
E-Origami System Eos
Computational origami system Eos is designed to study the mathematical aspects of paper folds. It includes capabilities of modeling fold operations by algebraic and symbolic methods, computer simulation of origami construction, and proof of the correctness of the constructed origami. Eos is developed by members of Symbolic Computation Research Group (SCORE), department of computer science of University of Tsukuba
Eos3.32 is released on March 23, 2021 . It runs on Mathematica 12.2.
Please read Supplement for Mathematica 12.2.
Eos3.4 is released on May 6, 2021 . It runs on Mathematica 12.2.