Title :
Huzita´s Basic Origami Fold in Geometric Algebra
Author_Institution :
Univ. of Tsukuba, Tsukuba, Japan
Abstract :
This short note describes the first step of the application of the geometric algebra (GA) to the computational origami system called Eos. Main results are the formalization of GA in Isabelle/HOL and the re-statement of Huzita´s basic fold operations in equalities in GA. By solving the equalities we can obtain the fold line (s) that are used in each step of origami construction.
Keywords :
computational geometry; formal logic; EOS; GA equalities; Huzitas basic fold operations; Isabelle/HOL; computational origami system; geometric algebra; Blades; Earth Observing System; Equations; Geometry; Three-dimensional displays; Vectors; computational origami; formalization by Isabelle/HOL; geometric algebra;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2014 16th International Symposium on
Conference_Location :
Timisoara
Print_ISBN :
978-1-4799-8447-3
DOI :
10.1109/SYNASC.2014.9
