Markus Neher

Publication Activity (10 Years)

Years Active: 1994-2010
Publications (10 Years): 0

Publications

Markus Neher
Complex Inclusion Functions in the CoStLy C++ Class Library. ICMS (2010)
Markus Neher
The CoStLy C++ Class Library. Numerical Validation in Current Hardware Architectures (2008)
Werner Hofschuster, Walter Krämer, Markus Neher
C-XSC and Closely Related Software Packages. Numerical Validation in Current Hardware Architectures (2008)
Werner Hofschuster, Walter Krämer, Markus Neher
C-XSC and Closely Related Software Packages. Numerical Validation in Current Hardware Architectures (2008)
Markus Neher
A note on a sum associated with the generalized hypergeometric function. Appl. Math. Comput. 187 (2) (2007)
Markus Neher
Complex standard functions and their implementation in the CoStLy library. ACM Trans. Math. Softw. 33 (1) (2007)
Markus Neher, Kenneth R. Jackson, Nedialko S. Nedialkov
On Taylor Model Based Integration of ODEs. SIAM J. Numer. Anal. 45 (1) (2007)
Markus Neher
Verified integration of linear nth order ODEs using large steps. Appl. Math. Comput. 186 (1) (2007)
Markus Neher
A Complex Mean Value Form for Curves. Numer. Algorithms 37 (1-4) (2004)
Ingo Eble, Markus Neher
ACETAF: A software package for computing validated bounds for Taylor coefficients of analytic functions. ACM Trans. Math. Softw. 29 (3) (2003)
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)
Markus Neher
The Mean Value Form for Complex Analytic Functions. Computing 67 (3) (2001)
Markus Neher
Enclosing Solutions of an Inverse Sturm-Liouville Problem for an Impedance. J. Univers. Comput. Sci. 4 (2) (1998)
Markus Neher
Enclosing solutions of an inverse Sturm-Liouville problem with finite data. Computing 53 (3-4) (1994)