| http://www.w3.org/ns/prov#value | - That is, is a solution to the following quadratic program: Forming the Lagrangian, we know that is the solution to the following: Since matrix is positive definite, this insures that the first-order condition is necessary and sufficient for a global minimum.
|
