Non-linear loop invariant generation using Gröbner bases.

Sriram Sankaranarayanan Henny Sipma Zohar Manna

Published in: POPL (2004)

Keyphrases

numerically stable
methods in computer vision
database
basis functions
social networks
object detection
affine transformation
affine invariant
generation method
polynomial equations