| 2010 | ||
|---|---|---|
| c5 | ||
| 2008 | ||
| c4 | Werner Hofschuster, Walter Krämer, Markus Neher: C-XSC and Closely Related Software Packages. Numerical Validation in Current Hardware Architectures 2008 | |
| c3 | Werner Hofschuster, Walter Krämer, Markus Neher: C-XSC and Closely Related Software Packages. Numerical Validation in Current Hardware Architectures 2008: 68-102 | |
| c2 | Markus Neher: The CoStLy C++ Class Library. Numerical Validation in Current Hardware Architectures 2008 | |
| 2007 | ||
| j6 | Markus Neher: Verified integration of linear nth order ODEs using large steps. Applied Mathematics and Computation 186(1): 879-890 (2007) | |
| j5 | Markus Neher: A note on a sum associated with the generalized hypergeometric function. Applied Mathematics and Computation 187(2): 1527-1534 (2007) | |
| j4 | Markus Neher: Complex standard functions and their implementation in the CoStLy library. ACM Trans. Math. Softw. 33(1): 2 (2007) | |
| 2003 | ||
| j3 | 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) | |
| c1 | 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 | |
| 2001 | ||
| j2 | ||
| p1 | 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 | |
| 1998 | ||
| j1 | Markus Neher: Enclosing Solutions of an Inverse Sturm-Liouville Problem for an Impedance. J. UCS 4(2): 178-192 (1998) | |
| 1 | Ingo Eble | |
| 2 | Werner Hofschuster | |
| 3 | R. Baker Kearfott | |
| 4 | Walter Krämer | |
| 5 | Shin'ichi Oishi | |
| 6 | Fabien Rico |
Colors in the list of coauthors
Last update Sat May 25 15:29:33 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page