Author:Tetsuo Ida

Keyphrases

computational origami², Euclidean geometry, geometric modeling, Geometrical constraint solving, Higher dimensional geometry, knot fold, mathematical origami, theorem proving.