The laws of integer divisibility, and solution sets of linear divisibility conditions.

Lou van den Dries A. J. Wilkie

Published in: J. Symb. Log. (2003)

Keyphrases

closed form
linear systems
sufficient conditions
quadratic programming
linear equations
optimal solution
database
information systems
integer arithmetic
set of linear equations
data mining
image processing
exact solution
quadratic program
integer variables
integral equation