Curves and Computer Algebra.

Dominique Duval Marie-Françoise Roy

Published in: Geometry and Robotics (1988)

Keyphrases

computer algebra
theorem prover
b spline
differential geometry
planar curves
closed curves
computer algebra systems
automated theorem provers
control points
real time
endpoints
curve fitting
shape model
curve matching
supervised learning
space curves
cubic b spline
knowledge base
information retrieval