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