Enclosing solutions of an inverse Sturm-Liouville problem with finite data. - Markus Neher 001 (Computing, 1994)

Enclosing Solutions of an Inverse Sturm-Liouville Problem for an Impedance. - Markus Neher 001 (J. Univers. Comput. Sci., 1998)

Geometric Series Bounds for the Local errors of Taylor Methods for Linear n-th-Order ODEs. - Markus Neher 001 (Symbolic Algebraic Methods and Verification Methods, 2001)

The Mean Value Form for Complex Analytic Functions. - Markus Neher 001 (Computing, 2001)

Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies. - R. Baker Kearfott; Markus Neher 001; Shin'ichi Oishi; Fabien Rico (Numerical Software with Result Verification, 2003)

ACETAF: A software package for computing validated bounds for Taylor coefficients of analytic functions. - Ingo Eble; Markus Neher 001 (ACM Trans. Math. Softw., 2003)

A Complex Mean Value Form for Curves. - Markus Neher 001 (Numer. Algorithms, 2004)

Verified integration of linear nth order ODEs using large steps. - Markus Neher 001 (Appl. Math. Comput., 2007)

A note on a sum associated with the generalized hypergeometric function. - Markus Neher 001 (Appl. Math. Comput., 2007)

On Taylor Model Based Integration of ODEs. - Markus Neher 001; Kenneth R. Jackson; Nedialko S. Nedialkov (SIAM J. Numer. Anal., 2007)

Complex standard functions and their implementation in the CoStLy library. - Markus Neher 001 (ACM Trans. Math. Softw., 2007)

C-XSC and Closely Related Software Packages. - Werner Hofschuster; Walter Krämer; Markus Neher 001 (Numerical Validation in Current Hardware Architectures, 2008)

The CoStLy C++ Class Library. - Markus Neher 001 (Numerical Validation in Current Hardware Architectures, 2008)

Complex Inclusion Functions in the CoStLy C++ Class Library. - Markus Neher 001 (ICMS, 2010)