2008 |
6 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |