DocumentCode
261951
Title
Huzita´s Basic Origami Fold in Geometric Algebra
Author
Ida, Tetsuo
Author_Institution
Univ. of Tsukuba, Tsukuba, Japan
fYear
2014
fDate
22-25 Sept. 2014
Firstpage
11
Lastpage
13
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SYNASC.2014.9
Filename
7034659
Link To Document