Computational origami environment on the web

作者:Asem Kasem, Tetsuo Ida

摘要

We present a computing environment for origami on the web. The environment consists of the computational origami engine Eos for origami construction, visualization, and geometrical reasoning, WebEos for providing web interface to the functionalities of Eos, and web service system Scorum for symbolic computing web services. WebEos is developed using Web2.0 technologies, and provides a graphical interactive web interface for origami construction and proving. In Scorum, we are preparing web services for a wide range of symbolic computing systems, and are using these services in our origami environment. We explain the functionalities of this environment, and discuss its architectural and technological features.

论文关键词:computational origami, symbolic web services, origami theorem proving, symbolic computation

论文评审过程:

论文官网地址:https://doi.org/10.1007/s11704-008-0009-8