Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification.

Tetsuo Ida Fadoua Ghourabi Kazuko Takahashi

Published in: SYNASC (2013)

Keyphrases

computer assisted
foreign language
computer aided
construction process
b spline
intraoperative
model checking
control points
formal verification
image analysis
learning styles
surgical training