 | 2008 |
|---|
| 6 |       | John D. Pryce,
George F. Corliss,
R. Baker Kearfott,
Nedialko S. Nedialkov,
Spencer Smith:
Second Note on Basic Interval Arithmetic for IEEE754R.
Numerical Validation in Current Hardware Architectures 2008 |
| 5 | | George F. Corliss,
R. Baker Kearfott,
Nedialko S. Nedialkov,
John D. Pryce,
Spencer Smith:
Interval Subroutine Library Mission.
Reliable Implementation of Real Number Algorithms 2008: 28-43 |
| 2006 |
|---|
| 4 | | George F. Corliss,
R. Baker Kearfott,
Nedialko S. Nedialkov,
John D. Pryce,
Spencer Smith:
Interval Subroutine Library Mission.
Reliable Implementation of Real Number Algorithms 2006 |
| 2001 |
|---|
| 3 | | Nedialko S. Nedialkov,
Kenneth R. Jackson,
John D. Pryce:
An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE.
Reliable Computing 7(6): 449-465 (2001) |
| 1999 |
|---|
| 2 | | Nedialko S. Nedialkov,
Kenneth R. Jackson,
George F. Corliss:
Validated solutions of initial value problems for ordinary differential equations.
Applied Mathematics and Computation 105(1): 21-68 (1999) |
| 1 | | Nedialko S. Nedialkov,
Kenneth R. Jackson:
An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation.
Reliable Computing 5(3): 289-310 (1999) |
