S. Boyd and L. Vandenberghe, Localization and Cutting-plane Methods, Lecture topics and notes, p.392, 2003.

A. Griewank, Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, Frontiers in applied mathematics, SIAM, pp.251-302, 2000.
DOI : 10.1137/1.9780898717761

A. Griewank, Achieving logarithmic growth of temporal and spatial complexity in reverse automatic differentiation, Optimization Methods and Software, vol.1, issue.1, pp.35-54, 1992.
DOI : 10.1080/10556789208805505

A. Griewank, Automatic Directional Differentiation of Nonsmooth Composite Functions", Recent developments in Optimization / Seventh French-German Conference on Optimization, pp.155-169, 1994.

L. Hascoët and M. Araya-polo, The Adjoint Data-Flow Analyses: Formalization, Properties, and Applications, The 4th International Conference on Automatic Differentiation, pp.19-23, 2004.
DOI : 10.1007/3-540-28438-9_12

J. Hiriart-urruty and C. Lemaréchal, Convex Analysis and Minimization Algorithms I y II, 1991.
DOI : 10.1007/978-3-662-06409-2

I. Kearfott and R. B. , Treating Non-Smooth Functions as Smooth Functions in Global Optimization and Nonlinear Systems Solvers", preprint of an article that appeared in Scientific Computing and Validated Numerics, pp.160-172, 1996.

J. G. Kim and P. D. Hovland, Sensitivity Analysis and Parameter Tuning of a Sea-Ice Model Automatic Differentiation of Algorithms, from Simulation to Optimization, pp.91-98, 2001.

W. Klein, Comparisons of Automatic Differentiation tools in Circuit Simulation, Computational Differentiation: Techniques, Applications and Tools, SIAM, Philadel phia, pp.297-307, 1996.

J. E. Marsden88-]-marsden and A. J. Tromba, Vector Calculus, 1988.

A. Neumaier90-]-neumaier, Interval Methods for Systems of Equations, pp.174-179, 1990.
DOI : 10.1017/CBO9780511526473

J. M. Restrepo, G. K. Leaf, and A. Griewank, Circumventing Storage Limitations in Variational Data Assimilation, Journal on Scientific Computing, SIAM, 1998.

O. Talagrand91-]-talagrand, The use of adjoint equations in numerical modeling of the atmospheric circulation Automatic Differentiation of Algorithms: Theory, Implementation a nd Application, pp.169-180, 1991.

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt, Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399