Markus Neher

15 papers Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2010 — conf
Complex Inclusion Functions in the CoStLy C++ Class Library.
ICMS
Markus Neher
2008 — conf
C-XSC and Closely Related Software Packages.
Numerical Validation in Current Hardware Architectures
Werner Hofschuster, Walter Krämer, Markus Neher
2008 — conf
C-XSC and Closely Related Software Packages.
Numerical Validation in Current Hardware Architectures
Werner Hofschuster, Walter Krämer, Markus Neher
2008 — conf
The CoStLy C++ Class Library.
Numerical Validation in Current Hardware Architectures
Markus Neher
2007 J jnl
A note on a sum associated with the generalized hypergeometric function.
Appl. Math. Comput.
Markus Neher
2007 J jnl
Complex standard functions and their implementation in the CoStLy library.
ACM Trans. Math. Softw.
Markus Neher
2007 J jnl
On Taylor Model Based Integration of ODEs.
SIAM J. Numer. Anal.
Markus Neher, Kenneth R. Jackson, Nedialko S. Nedialkov
2007 J jnl
Verified integration of linear nth order ODEs using large steps.
Appl. Math. Comput.
Markus Neher
2004 J jnl
A Complex Mean Value Form for Curves.
Numer. Algorithms
Markus Neher
2003 J jnl
ACETAF: A software package for computing validated bounds for Taylor coefficients of analytic functions.
ACM Trans. Math. Softw.
Ingo Eble, Markus Neher
2003 — conf
Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies.
Numerical Software with Result Verification
R. Baker Kearfott, Markus Neher, Shin'ichi Oishi, Fabien Rico
2001 — ch.
Geometric Series Bounds for the Local errors of Taylor Methods for Linear n-th-Order ODEs.
Symbolic Algebraic Methods and Verification Methods
Markus Neher
2001 J jnl
The Mean Value Form for Complex Analytic Functions.
Computing
Markus Neher
1998 J jnl
Enclosing Solutions of an Inverse Sturm-Liouville Problem for an Impedance.
J. Univers. Comput. Sci.
Markus Neher
1994 J jnl
Enclosing solutions of an inverse Sturm-Liouville problem with finite data.
Computing
Markus Neher