A Compiler for Origami Construction and Verification

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2009.61 ◽

2009 ◽

Author(s):

Tetsuo Ida

Download Full-text