| |
| 2008 | ||
|---|---|---|
| 8 | EE | Werner Hofschuster, Walter Krämer, Markus Neher: C-XSC and Closely Related Software Packages. Numerical Validation in Current Hardware Architectures 2008 |
| 7 | EE | Markus Neher: The CoStLy C++ Class Library. Numerical Validation in Current Hardware Architectures 2008 |
| 2007 | ||
| 6 | EE | Markus Neher: Complex standard functions and their implementation in the CoStLy library. ACM Trans. Math. Softw. 33(1): 2 (2007) |
| 2003 | ||
| 5 | EE | 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 | EE | 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 | EE | Markus Neher: The Mean Value Form for Complex Analytic Functions. Computing 67(3): 255-268 (2001) |
| 1998 | ||
| 1 | EE | Markus Neher: Enclosing Solutions of an Inverse Sturm-Liouville Problem for an Impedance. J. UCS 4(2): 178-192 (1998) |
| 1 | Ingo Eble | [4] |
| 2 | Werner Hofschuster | [8] |
| 3 | R. Baker Kearfott | [5] |
| 4 | Walter Krämer | [8] |
| 5 | Shin'ichi Oishi | [5] |
| 6 | Fabien Rico | [5] |