论文信息 - Improving computational reliability with automatic differentiation and self-validating numerical methods - 字舞流文

Improving computational reliability with automatic differentiation and self-validating numerical methods

J. Layne | J. Layne

[1] J. E. Glynn,et al. Numerical Recipes: The Art of Scientific Computing , 1989 .

[2] George F. Corliss,et al. Applications of differentiation arithmetic , 1988 .

[3] G. Bohlender. What Do We Need Beyond IEEE Arithmetic? , 1990, Computer Arithmetic and Self-Validating Numerical Methods.

[4] Louis B. Rall,et al. Automatic Differentiation: Techniques and Applications , 1981, Lecture Notes in Computer Science.

[5] W. Miranker,et al. The arithmetic of the digital computer: A new approach , 1986 .

[6] L. B. Rall. Differentiation and generation of taylor coefficients in PASCAL-SC , 1983 .

[7] John L. Junkins,et al. Analytical solutions for Euler parameters , 1974 .

[8] Ramon E. Moore. Methods and applications of interval analysis , 1979, SIAM studies in applied mathematics.

[9] Irene A. Stegun,et al. Handbook of Mathematical Functions. , 1966 .

[10] Louis B. Rall,et al. Pascal-SC: A computer language for scientific computation , 1987 .

[11] Hans J. Stetter,et al. Validated Solution of Initial Value Problems for ODE , 1990, Computer Arithmetic and Self-Validating Numerical Methods.