Automating Elementary Number-Theoretic Proofs Using Gröbner Bases.

Published in: CADE (2007)

Keyphrases

small number
computational complexity
real world
case study
image segmentation
database systems
similarity measure
memory requirements
finite number