ISBN-13: 9783319591889 / Angielski / Twarda / 2020 / 217 str.
In this book origami is treated as basic geometrical operations that are represented and manipulated symbolically and graphically by computers. 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.