Symbolic preconditioning with Taylor models: Some examples

Reliable Computing

Volumn 8, Issue 6, 2002, Pages 453-468

  Kearfott, R Baker ^a   Walster, G William ^b  

^a UNIVERSITY OF LOUISIANA AT LAFAYETTE   (United States)

^b SUN MICROSYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; CONSTRAINT THEORY; MATHEMATICAL MODELS; OPTIMIZATION;

TAYLOR MODELS;

NONLINEAR SYSTEMS;

EID: 0036896550     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1021364526413     Document Type: Article

References (22)

1. Berz, M.: Cosy Infinity web page, http://cosy.pa.msu.edu/, 2000.
2. Berz, M. and Hoffstätter, G.: Computation and Application of Taylor Polynomials with Interval Remainder Bounds, Reliable Computing 4 (1) (1998), pp. 83-97.
3. Berz, M., Makino, K., Shamseddine, K., Hoffstätter, G.H., and Wan, W.: Cosy Infinity and Its Applications in Nonlinear Dynamics, in: Computational Differentiation, Techniques, Applications, and Tools, SIAM, Philadelphia, 1996, pp. 363-365.
4. Corliss, G.F.: GlobSol entry page, http://www.mscs.mu.edu/̃globsol/, 1998.
5. Corliss, G.F. and Kearfott, R.B.: Rigorous Global Search: Industrial Applications, in: Developments in Reliable Computing, Kluwer Academic Publishers, Dordrecht, 2000, pp. 1-16.
6. Hansen, E.R.: Preconditioning Linearized Equations, Computing 58 (1997), pp. 187-196.
7. Hertling, P.: A Limitation for Underestimation via Twin Arithmetic, Reliable Computing 7 (2) (2001), pp. 157-169.
8. Hoefkens, J.: Rigorous Numerical Analysis with High-Order Taylor Models, Ph.D. thesis, Department of Mathematics, Michigan State University, 2001.
9. Kearfott, R.B.: A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear Equations and Global Optimization, ACM Trans. Math. Software 21 (1) (1995), pp. 63-78.
10. Kearfott, R.B.: Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Algebraic Systems, SIAM J. Sci. Comput. 18 (2) (1997), pp. 574-594.
11. Kearfott, R.B.: Rigorous Global Search: Continuous Problems, Kluwer Academic Publishers, Dordrecht, 1996.
12. Kearfott, R.B. and Arazyan, A.: Taylor Series Models in Deterministic Global Optimization, in: Proceedings of Automatic Differentiation 2000: From Simulation to Optimization, Springer-Verlag, New York, 2000.
13. Kearfott, R.B., Dawande, M., Du, K.-S., and Hu, C.-Y.: Algorithm 737: INTLIB, A Portable FORTRAN 77 Interval Standard Function Library, ACM Trans. Math. Software 20 (4) (1994), pp. 447-459.
14. Makino, K. and Berz, M.: Efficient Control of the Dependency Problem Based on Taylor Model Methods, Reliable Computing 5 (1) (1999), pp. 3-12.
15. Makino, K. and Berz, M.: New Applications of Taylor Model Methods, in: Proceedings of Automatic Differentiation 2000: From Simulation to Optimization, Springer-Verlag, New York, 2000.
16. Muñoz, H.: Interval Slopes and Twin Slope Arithmetic in Nonsmooth Optimization, Ph.D. thesis, University of Louisiana at Lafayette, 2001.
17. Nesterov, V.M.: Interval and Twin Arithmetics, Reliable Computing 3 (4) (1997), pp. 369-380.
18. Neumaier, A.: Interval Methods for Systems of Equations, Cambridge University Press, Cambridge, 1990.
19. Pardalos, P.M. and Rosen, J.B.: Constrained Global Optimization: Algorithms and Applications, Lecture Notes in Computer Science 268, Springer-Verlag, New York, 1987.
20. Ratschek, H. and Rokne, J.: New Computer Methods for Global Optimization, Wiley, New York, 1988.
21. Ratz, D. and Csendes, T: On the Selection of Subdivision Directions in Interval Branch-and-Bound Methods for Global Optimization, J. Global Optim. 7 (1995), pp. 183-207.
22. Van Hentenryck, P., Michel, L., and Deville, Y.: Numerica: A Modeling Language for Global Optimization, MIT Press, Cambridge, 1997.