An Introduction to Computational Origami
Springer International Publishing (Verlag)
978-3-319-59188-9 (ISBN)
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 geometrical problems are solved by means of origami, the book explains the methods not only with mathematical rigor but also by appealing to our scientific intuition, combining mathematical formulas and graphical images to do so. In turn, it discusses the verification of origami using computer software and symbolic computation tools. The binary code for the origami software, called Eos and created by the author, is also provided.
Introduction to origami.- Origami geometry and basic folds.- Algebra of folds.- Origami geometry vs. Euclid geometry.- Examples.- Origami theorems and verification.- Extensions of basic folds.- Three-dimensional origami.
"This book is very well written. It begins intuitively, describing origami in simple terms and with detailed, rigorous explanations. As the book progresses, more formalism and notation is added, alongside EOS code, to express the Huzita-Justin moves precisely, and each step in this progression is explained clearly. ... At the end of each chapter is a list of exercises, making the book of possible use for a, most likely, graduate course on computational origami geometry." (Thomas Hull, Mathematical Reviews, May, 2022)
“This book is very well written. It begins intuitively, describing origami in simple terms and with detailed, rigorous explanations. As the book progresses, more formalism and notation is added, alongside EOS code, to express the Huzita-Justin moves precisely, and each step in this progression is explained clearly. … At the end of each chapter is a list of exercises, making the book of possible use for a, most likely, graduate course on computational origami geometry.” (Thomas Hull, Mathematical Reviews, May, 2022)
| Erscheinungsdatum | 17.08.2020 |
|---|---|
| Reihe/Serie | Texts & Monographs in Symbolic Computation |
| Zusatzinfo | XII, 217 p. 2 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 518 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Angewandte Mathematik | |
| Schlagworte | Automated Theorem Proving • Computer Science • Euclid and Origami geometry • Groebner basis • Mathematical Applications in Computer Science • Mathematical Modelling • Maths for computer scientists • origami geometry • paper fold • symbolic and algebraic manipulation |
| ISBN-10 | 3-319-59188-6 / 3319591886 |
| ISBN-13 | 978-3-319-59188-9 / 9783319591889 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
