Skip to content

Interactive vs. Automated Proofs in Computational Origami.

Tetsuo Ida

Year2012
ProceedingsSYNASC

Browse the full SYNASC paper archive.