Interval Arithmetic, Affine Arithmetic, Taylor Series Methods: Why, What Next?
暂无分享,去创建一个
Vladik Kreinovich | Nedialko S. Nedialkov | Scott A. Starks | N. Nedialkov | V. Kreinovich | S. Starks
[1] Martin Berz,et al. Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models , 1998, Reliab. Comput..
[2] Alex M. Andrew,et al. Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics , 2002 .
[3] Vladik Kreinovich,et al. “Interval rational = algebraic” revisited: a more computer realistic result , 1996, SGNM.
[4] Martin Berz,et al. Verification of Invertibility of Complicated Functions over Large Domains , 2002, Reliab. Comput..
[5] Victor A. Brumberg,et al. Analytical Techniques of Celestial Mechanics , 1995 .
[6] E. R. Hansen,et al. A Generalized Interval Arithmetic , 1975, Interval Mathematics.
[7] Ramon E. Moore. Methods and applications of interval analysis , 1979, SIAM studies in applied mathematics.
[8] Martin Berz,et al. Verified integration of dynamics in the solar system , 2001 .
[9] Martin Berz,et al. Computation and Application of Taylor Polynomials with Interval Remainder Bounds , 1998, Reliab. Comput..
[10] Vladik Kreinovich,et al. Candidate Sets for Complex Interval Arithmetic , 1999 .
[11] Luc Jaulin,et al. Applied Interval Analysis , 2001, Springer London.
[12] R. Lohner. Einschliessung der Lösung gewöhnlicher Anfangs- und Randwertaufgaben und Anwendungen , 1988 .
[13] R. B. Kearfott,et al. Applications of interval computations , 1996 .
[14] Vladik Kreinovich,et al. Applications of Continuous Mathematics to Computer Science , 1997 .
[15] Vladik Kreinovich,et al. On a Theoretical Justification of the Choice of Epsilon-Inflation in PASCAL-XSC , 1997, Reliab. Comput..
[16] K. Knopp. Theory of Functions , 1958 .
[17] Jeff Tupper,et al. Reliable two-dimensional graphing methods for mathematical formulae with two free variables , 2001, SIGGRAPH.
[18] Nedialko S. Nedialkov,et al. An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation , 1998, SCAN.
[19] Vladik Kreinovich,et al. An Optimality Criterion for Arithmetic of Complex Sets , 1999 .
[20] Jürgen Garloff,et al. Solution of Systems of Polynomial Equation by Using Bernstein Expansion , 2001, Symbolic Algebraic Methods and Verification Methods.
[21] E. Walter,et al. Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics , 2001 .
[22] John D. Pryce,et al. An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE , 2001, Reliab. Comput..
[23] De Figueiredo,et al. Self-validated numerical methods and applications , 1997 .
[24] N. Nedialkov,et al. {22 () an Interval Hermite-obreschkoo Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Diierential Equation * , 1998 .
[25] Vladik Kreinovich,et al. Theoretical Justification of a Heuristic Subbox Selection Criterion , 2001 .
[26] Markus Neher,et al. Geometric Series Bounds for the Local errors of Taylor Methods for Linear n-th-Order ODEs , 2001, Symbolic Algebraic Methods and Verification Methods.
[27] Vladik Kreinovich,et al. Where to Bisect a Box? A Theoretical Explanation of the Experimental Results , 1998 .
[28] R. B. Kearfott. Rigorous Global Search: Continuous Problems , 1996 .
[29] Vladik Kreinovich. Interval rational = algebraic , 1995, SGNM.