In this book origami is treated as basic geometrical operations that are represented and manipulated symbolically and graphically by computers. It is explained how classical and modern geometrical problems are solved by origami. The methods are explained not only with mathematical rigor but also with appeal to our scientific intuition by the use of both mathematical formulas and graphical images. The verification of origami is treated by computer software, with symbolic computation tools. The binary code of the origami software, called Eos and created by the author, is provided. | An Introduction To Computational Origami by Tetsuo Ida, Hardcover | Indigo Chapters