This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
A Compiler for Origami Construction and Verification
Timisoara, Romania
September 26-September 29
ISBN: 978-0-7695-3964-5
ASCII Text
x 
 
Tetsuo Ida, "A Compiler for Origami Construction and Verification," 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp. 9, 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009.
 
 
BibTex
x
 
@article{ 10.1109/SYNASC.2009.61,
author = {Tetsuo Ida},
title = {A Compiler for Origami Construction and Verification},
journal ={2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
volume = {0},
year = {2009},
isbn = {978-0-7695-3964-5},
pages = {9},
doi = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2009.61},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
TI - A Compiler for Origami Construction and Verification
SN - 978-0-7695-3964-5
SP
EP
A1 - Tetsuo Ida,
PY - 2009
KW - origami
KW - geometric modeling
KW - theorem proving
KW - symbolic computation
VL - 0
JA - 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
ER -
 
This is the extended abstract of the invited tutorial on a compiler for origami construction and verification.
Index Terms:
origami, geometric modeling, theorem proving, symbolic computation
Citation:
Tetsuo Ida, "A Compiler for Origami Construction and Verification," synasc, pp.9, 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009
Usage of this product signifies your acceptance of the Terms of Use.