几何代数中Huzita的基本折纸折叠

2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2014-09-01 DOI:10.1109/SYNASC.2014.9

T. Ida

{"title":"几何代数中Huzita的基本折纸折叠","authors":"T. Ida","doi":"10.1109/SYNASC.2014.9","DOIUrl":null,"url":null,"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.","PeriodicalId":150575,"journal":{"name":"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Huzita's Basic Origami Fold in Geometric Algebra\",\"authors\":\"T. Ida\",\"doi\":\"10.1109/SYNASC.2014.9\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":150575,\"journal\":{\"name\":\"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SYNASC.2014.9\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SYNASC.2014.9","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

这篇短文描述了将几何代数(GA)应用于称为Eos的计算折纸系统的第一步。主要成果是将遗传算法在Isabelle/HOL中形式化，并重新表述了遗传算法中Huzita的基本折叠运算。通过求解这些等式，我们可以得到折纸构造中每一步使用的折线。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Huzita's Basic Origami Fold in Geometric Algebra

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

自引率

0.00%

发文量