Subject
Electrical and Electronic Engineering,Atomic and Molecular Physics, and Optics
Reference10 articles.
1. M. Berz et al., COSY INFINITY, 2003. http://cosy.pa.msu.edu/.
2. An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE;Nedialkov;Reliable Computing,2001
3. ACETAF: a software package for computing validated bounds for Taylor coefficients of analytic functions;Eble;ACM Trans. Math. Softw.,2003
4. American National Standards Institute and Institute of Electrical and Electronic Engineers, IEEE standard for binary floating-point arithmetic, ANSI/IEEE Standard, Std 754-1985, New York (1985).
5. A floating point technique for extending the available precision;Dekker;Numerische Mathematik,1971