Geodesic
Automatic differentiation and its program realization
Kybernetika, Tome 45 (2009) no. 5, pp. 865-883 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Automatic differentiation is an effective method for evaluating derivatives of function, which is defined by a formula or a program. Program for evaluating of value of function is by automatic differentiation modified to program, which also evaluates values of derivatives. Computed values are exact up to computer precision and their evaluation is very quick. In this article, we describe a program realization of automatic differentiation. This implementation is prepared in the system UFO, but its principles can be applied in other systems. We describe, how the operations are stored in the first part of the derivative computation and how the obtained records are effectively used in the second part of the computation.
Automatic differentiation is an effective method for evaluating derivatives of function, which is defined by a formula or a program. Program for evaluating of value of function is by automatic differentiation modified to program, which also evaluates values of derivatives. Computed values are exact up to computer precision and their evaluation is very quick. In this article, we describe a program realization of automatic differentiation. This implementation is prepared in the system UFO, but its principles can be applied in other systems. We describe, how the operations are stored in the first part of the derivative computation and how the obtained records are effectively used in the second part of the computation.
Classification : 26A24, 65D25, 65K99, 68W30
Keywords: automatic differentiation; modeling languages; systems for optimization 
@article{KYB_2009_45_5_a11,
     author = {Hartman, Jan and Luk\v{s}an, Ladislav and Z{\'\i}tko, Jan},
     title = {Automatic differentiation and its program realization},
     journal = {Kybernetika},
     pages = {865--883},
     year = {2009},
     volume = {45},
     number = {5},
     mrnumber = {2599117},
     zbl = {1191.65017},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_2009_45_5_a11/}
}
TY  - JOUR
AU  - Hartman, Jan
AU  - Lukšan, Ladislav
AU  - Zítko, Jan
TI  - Automatic differentiation and its program realization
JO  - Kybernetika
PY  - 2009
SP  - 865
EP  - 883
VL  - 45
IS  - 5
UR  - http://geodesic.mathdoc.fr/item/KYB_2009_45_5_a11/
LA  - en
ID  - KYB_2009_45_5_a11
ER  - 
%0 Journal Article
%A Hartman, Jan
%A Lukšan, Ladislav
%A Zítko, Jan
%T Automatic differentiation and its program realization
%J Kybernetika
%D 2009
%P 865-883
%V 45
%N 5
%U http://geodesic.mathdoc.fr/item/KYB_2009_45_5_a11/
%G en
%F KYB_2009_45_5_a11
Hartman, Jan; Lukšan, Ladislav; Zítko, Jan. Automatic differentiation and its program realization. Kybernetika, Tome 45 (2009) no. 5, pp. 865-883. http://geodesic.mathdoc.fr/item/KYB_2009_45_5_a11/

[1] Automatic Differentiation of Algorithms: Theory, Implementation, and Application. SIAM, Philadelphia 1992. | MR | Zbl

[2] Automatic Differentiation: Applications, Theory, and Implementations. Springer–Verlag, Berlin 2005. | Zbl

[3] Computational Differentiation – Techniques, Applications, and Tools. SIAM, Philadelphia 1996. | MR | Zbl

[4] R. Griesse and A. Walther: Evaluating gradients in optimal control – Continuous adjoints versus automatic differentiation. J. Optim. Theory Appl. 122 (2004), 1, 63–86. | MR

[5] A. Griewank: Evaluation Derivatives: Principles and Techniques of Algorithmic Differentiation. SIAM, Philadelphia 2000. | MR

[6] A. Griewank and A. Walther: Introduction to automatic differentiation. PAMM 2 (2003), 45–49.

[7] J. Hartman: Realizace metod pro automatické derivování (Implementation of Methods for Automatic Differentiation). Diploma Thesis. Faculty of Mathematics and Physics, Charles University, Prague 2001.

[8] J. Hartman and L. Lukšan: Automatické derivování v systému UFO (Automatic Differentiation in System UFO). Technical Report V-1002. ICS AS CR, Prague 2007.

[9] J. Hartman and J. Zítko: Principy automatického derivování (Principles of Automatic Differentiation). Technical Report, Department of Numerical Mathematics, Faculty of Mathematics and Physics, Charles University, Prague 2006.

[10] L. Lukšan, M. Tůma, J. Hartman, J. Vlček, N. Ramešová, M. Šiška, and C. Matonoha: UFO 2006 – Interactive System for Universal Functional Optimization. Technical Report V-977. ICS AS CR, Prague 2006.

[11] A. Verma: Structured Automatic Differentiation. Ph.D. Thesis, Cornell University, 1988.

[12] A. Walther, A. Griewank, and O. Vogel: ADOL-C: Automatic differentiation using operator overloading in C++. PAMM 2 (2003), 41–44.