A Direct Proof of the Kuhn-Tucker Necessary Optimality Theorem for Convex and Affine Inequalities.

Jean-Yves Jaffray Jean-Charles Pomerol

Published in: SIAM Rev. (1989)

Keyphrases

interactive theorem proving
piecewise affine
affine transformation
sufficient conditions
theorem proving
affine invariant
convex hull
convex optimization
theorem prover
piecewise linear
convex sets
valid inequalities
global optimality
optimal solution
neural network
linear logic
cutting plane algorithm