A Prover for General Inequalities.

W. W. Bledsoe Peter Bruell Robert E. Shostak

Published in: IJCAI (1979)

Keyphrases

special case
learning algorithm
computer vision
search algorithm
closely related
database
data sets
multi agent systems
hidden markov models
theorem prover