, Maple PowerTool Interval Arithmetic
,
,
Precise computation using range arithmetic, via C++, ACM TOMS, vol.18, issue.4, pp.481-491, 1992. ,
Precise numerical methods using C++, 1998. ,
Handbook of Mathematical Functions, 1964. ,
Towards a more complete interval arithmetic in Mathematica, Proceedings of the Second International Mathematica Symposium, pp.29-36, 1997. ,
, Quadraturverfahren. Vandenhoeck & Ruprecht, 1977.
On the application of the Peano representation of linear functionals in numerical analysis, Recent progress in inequalities, vol.430, pp.175-202, 1996. ,
A Fortran multiple-precision arithmetic package, ACM TOMS, vol.4, pp.57-70, 1978. ,
An experimental interval arithmetic package in Maple, Num. Analysis with Automatic Result Verification, 1993. ,
intpak for Interval Arithmetic in Maple, Journal of Symbolic Computation, vol.11, 1994. ,
, The MPFR library, 2001.
, , 1998.
Intervallrechnung in Maple -Die Erweiterung intpakX zum Paket intpak der Share-Library, 1999. ,
Global optimization using interval analysis. Marcel Dekker, 1992. ,
An interval Newton method, J. of Applied Math. and Computing, vol.12, pp.89-98, 1983. ,
Interval arithmetic: from principles to implementation, J. of ACM, 2002. ,
Accuracy and stability of numerical algorithms, 2002. ,
Rigorous global search: continuous problems, 1996. ,
On stopping criteria in verified nonlinear systems or optimization algorithms, ACM TOMS, vol.26, issue.3, pp.373-389, 2000. ,
, J. Keiper. Interval arithmetic in Mathematica. Interval Computations, issue.3, 1993.
C-XSC a C++ class library for extended scientific computing, 1993. ,
, , 1991.
PROFIL/BIAS -a fast interval library, Computing, vol.53, issue.3-4, pp.277-287, 1994. ,
Numerical toolbox for verified computing II -Advanced Numerical Problems, 1998. ,
Mehrfachgenaue reelle und intervallmässige Staggered-Correction Arithmetik mit zugehörigen Standardfunktionen, Report of the Institut für Angewandte Mathematik, Karlsruhe, 1988. ,
Advanced Arithmetic for the Digital Computer, 2002. ,
The interval library filib++ 2, vol.4, 2001. ,
Special functions and their applications, 1972. ,
The Mathematica Programmer: Interval Plotting and Global Optimization, The Mathematica Journal, vol.7, issue.3, pp.279-290, 1999. ,
Numerical Computation of an Integral Representation for Arithmetic-Average Asian Options ,
A Method for Calculating the Complex Complementary Error Function with Prescribed Accuracy ,
Automatic differentiation -Techniques and Applications, Lecture Notes in Computer Science, vol.120, 1981. ,
Newton's algorithm using multiple precision interval arithmetic. To appear in Numerical Algorithms, Research report, vol.4334, 2001. ,
,
, The MPFI library, 2001.
URL : https://hal.archives-ouvertes.fr/hal-02162346
Motivations for an arbitrary precision interval arithmetic and the MPFI library, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00100985
Efficient isolation of polynomial real roots, J. of Computational and Applied Math, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00072518
Solving algebraic problems with high accuraccy, A new approach to scientific computation. Proceedings of a symposium held at the IBM Research Center, pp.51-120, 1982. ,
, Developments in reliable computing, T. Csendes ed., chapter INTLAB -Interval Laboratory, pp.77-104, 1999.
Fast and parallel interval arithmetic, BIT, vol.39, issue.3, pp.534-554, 1999. ,
The Laplace transform approach to valuing exotic options: the case of the Asian option, Mathematical finance, pp.328-338, 2001. ,
, Sun Microsystems, Inc. C++ interval arithmetic programming reference, 2000.
Portable software for interval arithmetic, Computing, pp.211-229, 1980. ,