An Introduction To Computational Origami

By Tetsuo Ida

In this book, origami is treated as a set of basic geometrical objects that are represented and manipulated symbolically and graphically by computers. Focusing on how classical and modern geometric...

Artificial Intelligence And Symbolic Computation: 8th International Conference, Aisc 2006, Beijing, China, September 20-22, 2006, Proceedings

By Tetsuo Ida, Dongming Wang, Jaques Calmet, AISC 2006

Automated Deduction In Geometry: 9th International Workshop, Adg 2012, Edinburgh, Uk, September 17-19, 2012. Revised Selected Papers

By SPRINGER, Tetsuo Ida, Jacques Fleuriot, International Workshop On Automated Deduction In Geometry

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The...

Automated Deduction In Geometry

By Tetsuo Ida, Jacques Fleuriot

Functional And Logic Programming

By Masato Takeichi, Tetsuo Ida, Atsushi Ohori

Artificial Intelligence And Symbolic Computation

By Tetsuo Ida, Jaques Calmet, Dongming Wang, AISC (Conference), Arjeh M. Cohen (Auth.), Jacques Calmet, Tetsuo Ida, Dongming Wang (Eds.)

This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006, held in Beijing, China in September 2006. The 18 r...

Automated Deduction In Geometry

By Tetsuo Ida, Jacques Fleuriot, S. Sakata, International Workshop On Automated Deduction In Geometry, Michael Beeson (Auth.), Tetsuo Ida, Jacques Fleuriot (Eds.)

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The...

Functional And Logic Programming

By Masato Takeichi, Tetsuo Ida, Atsushi Ohori, Fuji International Workshop On Functional And Logic Programming

Symbolic Computation In Software Science

By Tetsuo Ida, Stephen Watt

An Introduction To Computational Origami

By Tetsuo Ida

In this book, origami is treated as a set of basic geometrical objects that are represented and manipulated symbolically and graphically by computers. Focusing on how classical and modern geometric...