Title :
A Compiler for Origami Construction and Verification
Author_Institution :
Dept. of Comput. Sci., Univ. of Tsukuba, Tsukuba, Japan
Abstract :
This is the extended abstract of the invited tutorial on a compiler for origami construction and verification.
Keywords :
computational geometry; formal verification; program compilers; symbol manipulation; compiler; origami construction; origami verification; Command languages; Computer displays; Computer languages; Computer science; Logic; Polynomials; Scientific computing; Shape; Sheet materials; Solid modeling; geometric modeling; origami; symbolic computation; theorem proving;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2009 11th International Symposium on
Conference_Location :
Timisoara
Print_ISBN :
978-1-4244-5910-0
Electronic_ISBN :
978-1-4244-5911-7
DOI :
10.1109/SYNASC.2009.61
