Curves and coherent Prüfer rings.

Thierry Coquand Henri Lombardi Claude Quitté

Published in: J. Symb. Comput. (2010)

Keyphrases

b spline
digital curves
cubic b spline
information retrieval
artificial intelligence
video sequences
least squares
critical points
curve fitting
curve matching
minimal length