 | 2008 |
|---|
| 11 |       | Werner Hofschuster,
Walter Krämer,
Markus Neher:
C-XSC and Closely Related Software Packages.
Numerical Validation in Current Hardware Architectures 2008: 68-102 |
| 10 | | Werner Hofschuster,
Walter Krämer,
Markus Neher:
C-XSC and Closely Related Software Packages.
Numerical Validation in Current Hardware Architectures 2008 |
| 9 | | Markus Neher:
The CoStLy C++ Class Library.
Numerical Validation in Current Hardware Architectures 2008 |
| 2007 |
|---|
| 8 | | Markus Neher:
Complex standard functions and their implementation in the CoStLy library.
ACM Trans. Math. Softw. 33(1): 2 (2007) |
| 7 | | Markus Neher:
Verified integration of linear nth order ODEs using large steps.
Applied Mathematics and Computation 186(1): 879-890 (2007) |
| 6 | | Markus Neher:
A note on a sum associated with the generalized hypergeometric function.
Applied Mathematics and Computation 187(2): 1527-1534 (2007) |
| 2003 |
|---|
| 5 | | R. Baker Kearfott,
Markus Neher,
Shin'ichi Oishi,
Fabien Rico:
Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies.
Numerical Software with Result Verification 2003: 36-63 |
| 4 | | Ingo Eble,
Markus Neher:
ACETAF: A software package for computing validated bounds for Taylor coefficients of analytic functions.
ACM Trans. Math. Softw. 29(3): 263-286 (2003) |
| 2001 |
|---|
| 3 |  | Markus Neher:
Geometric Series Bounds for the Local errors of Taylor Methods for Linear n-th-Order ODEs.
Symbolic Algebraic Methods and Verification Methods 2001: 183-193 |
| 2 | | Markus Neher:
The Mean Value Form for Complex Analytic Functions.
Computing 67(3): 255-268 (2001) |
| 1998 |
|---|
| 1 | | Markus Neher:
Enclosing Solutions of an Inverse Sturm-Liouville Problem for an Impedance.
J. UCS 4(2): 178-192 (1998) |
