Numerical Verification of Second-Order Sufficiency Conditions for Nonlinear Programming. - Terrence K. Kelly; Michael Kupferschmid (SIAM Rev., 1998)