| 2008 |
|---|
| 12 | 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 |
| 11 | 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 |
| 10 | EE | John D. Pryce,
Emmanuel M. Tadjouddine:
Fast Automatic Differentiation Jacobians by Compact LU Factorization.
SIAM J. Scientific Computing 30(4): 1659-1677 (2008) |
| 2006 |
|---|
| 9 | 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 |
| 8 | EE | John D. Pryce,
George F. Corliss:
Interval Arithmetic with Containment Sets.
Computing 78(3): 251-276 (2006) |
| 2004 |
|---|
| 7 | EE | Shaun A. Forth,
Mohamed Tadjouddine,
John D. Pryce,
John K. Reid:
Jacobian code generated by source transformation and vertex elimination can be as efficient as hand-coding.
ACM Trans. Math. Softw. 30(3): 266-299 (2004) |
| 2003 |
|---|
| 6 | EE | Mohamed Tadjouddine,
Shaun A. Forth,
John D. Pryce:
Hierarchical Automatic Differentiation by Vertex Elimination and Source Transformation.
ICCSA (2) 2003: 115-124 |
| 2002 |
|---|
| 5 | EE | Mohamed Tadjouddine,
Shaun A. Forth,
John D. Pryce,
John K. Reid:
Performance Issues for Vertex Elimination Methods in Computing Jacobians Using Automatic Differentiation.
International Conference on Computational Science (2) 2002: 1077-1086 |
| 2001 |
|---|
| 4 | 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 |
|---|
| 3 | EE | John D. Pryce:
A test package for Sturm-Liouville solvers.
ACM Trans. Math. Softw. 25(1): 21-57 (1999) |
| 2 | EE | John D. Pryce:
Algorithm 789: SLTSTPAK: : a test package for Sturm-Liouville solvers.
ACM Trans. Math. Softw. 25(1): 58-69 (1999) |
| 1985 |
|---|
| 1 | | John D. Pryce:
Experiences with Writing Library Software for an Attached Processor.
Softw., Pract. Exper. 15(7): 705-714 (1985) |
