LEADER 02946nam  22005175  450 
001 996465471303316
005 20200813172112.0
010   $a3-319-59189-4
024 7 $a10.1007/978-3-319-59189-6
035   $a(CKB)4100000011384195
035   $a(DE-He213)978-3-319-59189-6
035   $a(MiAaPQ)EBC6301430
035   $a(PPN)260302996
035   $a(EXLCZ)994100000011384195
100   $a20200813d2020      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 13$aAn Introduction to Computational Origami$b[electronic resource] /$fby Tetsuo Ida
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (XII, 217 p. 2 illus.) 
225 1 $aTexts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria,$x0943-853X
311   $a3-319-59188-6 
327   $aIntroduction 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.
330   $aIn 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.
410  0$aTexts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria,$x0943-853X
606   $aComputer science?Mathematics
606   $aComputer mathematics
606   $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052
606   $aMathematical Applications in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/M13110
615  0$aComputer science?Mathematics.
615  0$aComputer mathematics.
615 14$aSymbolic and Algebraic Manipulation.
615 24$aMathematical Applications in Computer Science.
676   $a516.00285
700   $aIda$b Tetsuo$4aut$4http://id.loc.gov/vocabulary/relators/aut$0913663
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465471303316
996   $aAn Introduction to Computational Origami$92046941
997   $aUNISA