We stand with Ukraine  

Markus Neher

Affiliations:
  • Karlsruhe Institute of Technology, Germany


According to our database1, Markus Neher authored at least 14 papers between 1994 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2010
Complex Inclusion Functions in the CoStLy C++ Class Library.
[BibTeX]
[DOI]
Markus Neher
Proceedings of the Mathematical Software, 2010

2008
The CoStLy C++ Class Library.
[BibTeX]
[DOI]
Markus Neher
Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008

C-XSC and Closely Related Software Packages.
[BibTeX]
[DOI]
Werner Hofschuster
,
Walter Krämer
,
Markus Neher
Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008

2007
Complex standard functions and their implementation in the CoStLy library.
[BibTeX]
[DOI]
Markus Neher
ACM Trans. Math. Softw., 2007

On Taylor Model Based Integration of ODEs.
[BibTeX]
[DOI]
Markus Neher
,
Kenneth R. Jackson
,
Nedialko S. Nedialkov
SIAM J. Numer. Anal., 2007

A note on a sum associated with the generalized hypergeometric function.
[BibTeX]
[DOI]
Markus Neher
Appl. Math. Comput., 2007

Verified integration of linear nth order ODEs using large steps.
[BibTeX]
[DOI]
Markus Neher
Appl. Math. Comput., 2007

2004
A Complex Mean Value Form for Curves.
[BibTeX]
[DOI]
Markus Neher
Numer. Algorithms, 2004

2003
ACETAF: A software package for computing validated bounds for Taylor coefficients of analytic functions.
[BibTeX]
[DOI]
Ingo Eble
,
Markus Neher
ACM Trans. Math. Softw., 2003

Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies.
[BibTeX]
[DOI]
R. Baker Kearfott
,
Markus Neher
,
Shin'ichi Oishi
,
Fabien Rico
Proceedings of the Numerical Software with Result Verification, 2003

2001
The Mean Value Form for Complex Analytic Functions.
[BibTeX]
[DOI]
Markus Neher
Computing, 2001

Geometric Series Bounds for the Local errors of Taylor Methods for Linear n-th-Order ODEs.
[BibTeX]
[DOI]
Markus Neher
Proceedings of the Symbolic Algebraic Methods and Verification Methods, 2001

1998
Enclosing Solutions of an Inverse Sturm-Liouville Problem for an Impedance.
[BibTeX]
[DOI]
Markus Neher
J. Univers. Comput. Sci., 1998

1994
Enclosing solutions of an inverse Sturm-Liouville problem with finite data.
[BibTeX]
[DOI]
Markus Neher
Computing, 1994


  Loading...