Equivalence checking using Gröbner bases.

Amr A. R. Sayed-Ahmed Daniel Große Mathias Soeken Rolf Drechsler

Published in: FMCAD (2016)

Keyphrases

numerically stable
polynomial equations
numerical stability
methods in computer vision
case study
search algorithm
consistency checking
database
data sets
machine learning
information retrieval
optimal solution
object recognition
computational efficiency