-
2
-
-
84976791689
-
Precise computation using range arithmetic, via C++
-
O. Aberth and M.J. Schaefer, Precise computation using range arithmetic, via C++, ACM Trans. Math. Software 18(4) (1992) 481-491.
-
(1992)
ACM Trans. Math. Software
, vol.18
, Issue.4
, pp. 481-491
-
-
Aberth, O.1
Schaefer, M.J.2
-
4
-
-
0005474680
-
A new class of interval methods with higher order of convergence
-
G. Alefeld and F. Potra, A new class of interval methods with higher order of convergence, Computing 42(1) (1989) 69-80.
-
(1989)
Computing
, vol.42
, Issue.1
, pp. 69-80
-
-
Alefeld, G.1
Potra, F.2
-
5
-
-
0017950568
-
A Fortran multiple-precision arithmetic package
-
R.P. Brent, A Fortran multiple-precision arithmetic package, ACM Trans. Math. Software 4 (1978) 57-70.
-
(1978)
ACM Trans. Math. Software
, vol.4
, pp. 57-70
-
-
Brent, R.P.1
-
8
-
-
4043132190
-
Intervallrechnung in maple - Die erweiterung intpakx zum paket intpak der share-library
-
Universität Karlsruhe
-
I. Geulig and W. Krämer, Intervallrechnung in Maple - Die Erweiterung intpakX zum Paket intpak der Share-Library, Technical Report 99/2, Universität Karlsruhe (1999).
-
(1999)
Technical Report 99/2
-
-
Geulig, I.1
Krämer, W.2
-
12
-
-
0031082710
-
Empirical evaluation of innovations in interval branch and bound algorithms for nonlinear systems
-
R.B. Kearfott, Empirical evaluation of innovations in interval branch and bound algorithms for nonlinear systems, SIAM J. Sci. Comput. 18(2) (1997) 574-594.
-
(1997)
SIAM J. Sci. Comput.
, vol.18
, Issue.2
, pp. 574-594
-
-
Kearfott, R.B.1
-
13
-
-
0039927062
-
On stopping criteria in verified nonlinear systems or optimization algorithms
-
R.B. Kearfott and G.W. Walster, On stopping criteria in verified nonlinear systems or optimization algorithms, ACM Trans. Math. Software 26(3) (2000) 373-389.
-
(2000)
ACM Trans. Math. Software
, vol.26
, Issue.3
, pp. 373-389
-
-
Kearfott, R.B.1
Walster, G.W.2
-
14
-
-
0011600392
-
Interval arithmetic in Mathematica
-
J. Keiper, Interval arithmetic in Mathematica, Interval Computations (3) (1993).
-
(1993)
Interval Computations
, Issue.3
-
-
Keiper, J.1
-
15
-
-
0004084795
-
-
Springer, Berlin
-
R. Klatte, U. Kulisch, C. Lawo, M. Rauch and A. Wiethoff, C-XSC a C++ Class Library for Extended Scientific Computing (Springer, Berlin, 1993).
-
(1993)
C-XSC a C++ Class Library for Extended Scientific Computing
-
-
Klatte, R.1
Kulisch, U.2
Lawo, C.3
Rauch, M.4
Wiethoff, A.5
-
19
-
-
0042043158
-
Fast and parallel interval arithmetic
-
S. Rump, Fast and parallel interval arithmetic, BIT 39(3) (1999) 534-554.
-
(1999)
BIT
, vol.39
, Issue.3
, pp. 534-554
-
-
Rump, S.1
-
21
-
-
0012062686
-
Portable software for interval arithmetic
-
J.M. Yohe, Portable software for interval arithmetic, Computing, Suppl. 2 (1980) 211-229.
-
(1980)
Computing
, Issue.SUPPL. 2
, pp. 211-229
-
-
Yohe, J.M.1
|