A "from scratch" proof of a theorem of Rockafellar and Fulkerson.

George J. Minty

Published in: Math. Program. (1974)

Keyphrases

interactive theorem proving
real time
machine learning
proof planning
database
information retrieval
learning algorithm
image processing
web services
clustering algorithm
decision trees
bayesian networks
von neumann
proof theoretic
geometry theorem proving