Polynomial Invariants for Affine Programs.

Ehud Hrushovski Joël Ouaknine Amaury Pouly James Worrell

Published in: LICS (2018)

Keyphrases

affine invariant
imperative programs
affine transformation
image registration
invariant representation
implicit polynomial
moment invariants
dynamic logic
database
computer programs
genetic algorithm
geometric transformations
projective reconstruction
invariant features
control program
low degree
data sets