Technical Note - Direct Proof of the Existence Theorem for Quadratic Programming.

E. Blum Werner Oettli

Published in: Oper. Res. (1972)

Keyphrases

quadratic programming
interactive theorem proving
linear programming
interior point methods
support vector machine
karush kuhn tucker
structural svm
quadratic program
machine learning
lower bound
linear program
radial basis function