Polynomial Invariants for Affine Programs.

Ehud Hrushovski Joël Ouaknine Amaury Pouly James Worrell

Published in: CoRR (2018)

Keyphrases

affine invariant
imperative programs
affine transformation
image registration
automatic programming
projective reconstruction
implicit polynomial
real time
pattern recognition
low order
invariant descriptors
projective invariants