Interactive vs. automated proofs in computational origami

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2012.77 ◽

2012 ◽

Author(s):

T. Ida

Download Full-text