Treats origami as basic geometrical operations that are represented and manipulated symbolically and graphically by computersIncludes detailed explanations how classical and modern geometrical problems are solved by origamiPresents verification of origami by computer software