When Is a Formula a Loop Invariant?

Stephan Falke Deepak Kapur

Published in: Logic, Rewriting, and Concurrency (2015)

Keyphrases

affine invariant
affine transformation
real world
moment invariants
data sets
computer vision
invariant features
loop formulas
database
information retrieval
artificial intelligence
database systems
mathematical formulas