Experiences with Web Environment Origamium

We present a web environment for origami theorem proving and show the experimental results for using its functionalities. The environment consists of a mathematical engine for computational origami, a graphical interface for origami construction and visualization through the web, and a system of web services for symbolic computation, which allows web users to access computer algebra software systems. We demonstrate our experiences with this environment through a set of examples, where we use computational origami to construct objects representing geometrical theorems, and then access via web to computer algebra systems to prove those theorems automatically, and present the results for intensive symbolic computations.