An efficient and safe framework for solving optimization problems - LEBBAH, Yahia; MICHEL, Claude; RUEHER, Michel (Scientific Computing, Computer arithmetic, and Validated Numerics (SCAN 2004), 2007)
text