Algorithmisches Differenzieren - M1

REFERENCES 24
[16] Bischof, Ch., Carle, A., Corliss, G.F., Griewank, A.: ADIFOR: Automatic differentiation
in a source translator environment. Preprint MCS-P288-0192, Argonne
National Laboratory, 1992.
[17] Bischof, Ch., Griewank, A.: ADIFOR: A Fortran system for portable automatic
differentiation. Preprint MCS-P317-0792, Argonne National Laboratory, 1992.
[18] Bischof, Ch., Griewank, A., Juedes, D.: Exploiting parallelism in automatic
differentiation. In: Proceedings of the 1991 International Conference on Supercomputing,
ed. by E.Houstis and Y.Muraoka, ACM Press, 1991, 146-153.
[19] Bohlender, G., Rall, L.B., Ullrich, Ch., Wolff von Gudenberg, J.: PASCAL-
SC: Wirkungsvoll programmieren, kontrolliert rechnen. Bibliographisches Institut,
Zürich, 1986.
[20] Carlile, B.R.: Solution of nonlinear systems of equations on the FPS 64-bit family
of scientific computers using automatic differentiation. In: Proceedings of the
1986 Array Conference, Portland, Oregon, 1986, 142-169.
[21] Christianson, B.: Automatic Hessians by reverse accumulation. IMA Journal of
Numerical Analysis 12, 1992, 135-150.
[22] Christianson, B.: Reverse accumulation and accurate rounding error estimates
for Taylor series coefficients. Optimization Methods and Software 1, 1992, 81-94.
[23] Christianson, B.: Reverse accumulation and attractive fixed points. Optimization
Methods and Software 3, 1994, 311-326.
[24] Corliss, G.F.: Computing narrow inclusions for definite integrals. In: Computerarithmetic,
Scientific Computation and Programming Languages, ed. by
E.Kaucher, U.Kulisch, Ch.Ullrich, Teubner-Verlag, Stuttgart, 1987, 150-169.
[25] Corliss, G.F.: Applications of differentiation arithmetic. In: Reliability in Computing:
The Role of Interval Methods in Scientific Computing, ed. by R.E.Moore,
Academic Press, London, 1988, 127-148.
[26] Corliss, G.F.: Overloading point and interval Taylor operators. In [70], 139-146.
[27] Corliss, G.F., Chang, Y.F.: Solving ordinary differential equations using Taylor
series. ACM Transactions on Mathematical Software 8, 1982, 114-144.
[28] Corliss, G., Rall, L.B.: Automatic generation of Taylor series in PASCAL-SC:
Basic operations and applications to ordinary differential equations. In: Transactions
of the First Army Conference on Applied Mathematics and Computing,
U.S. Army Research Office, Research Triangle Park, NC, 1984, 177-209.
[29] Corliss, G., Rall, L.B.: Adaptive, self-validating numerical quadrature. SIAM
Journal on Scientific and Statistical Computing 8, 1987, 831-847.