Tetsuo Ida Libri

The book explores origami as a mathematical discipline, presenting it through basic geometrical objects that can be manipulated both symbolically and graphically by computers. It delves into solving classical and modern geometrical problems using origami techniques, balancing mathematical rigor with scientific intuition through formulas and visuals. Additionally, it covers the verification of origami methods via computer software and symbolic computation, including the author's own origami software, Eos, with its binary code provided.