Light Affine Calculus and Polytime Strong Normalization.

Kazushige Terui

Published in: LICS (2001)

Keyphrases

affine transformation
preprocessing
real time
affine invariant
automated deduction
data sets
search engine
computer vision
knowledge base
high level
image registration
relational calculus
image warping
computer algebra