PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Neher, Markus"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies.

, , , und . Numerical Software with Result Verification, Volume 2991 von Lecture Notes in Computer Science, Seite 36-63. Springer, (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Niklas Neher University of Stuttgart

Dr. -Ing. Heiko Neher University of Stuttgart

Philipp Albert Neher University of Stuttgart

Markus Wagner

Markus Wagner

 

Weitere Publikationen von Autoren mit dem selben Namen

Enclosing Solutions of an Inverse Sturm-Liouville Problem for an Impedance.. J. UCS, 4 (2): 178-192 (1998)The Mean Value Form for Complex Analytic Functions.. Computing, 67 (3): 255-268 (2001)A note on a sum associated with the generalized hypergeometric function.. Applied Mathematics and Computation, 187 (2): 1527-1534 (2007)The CoStLy C++ Class Library.. Numerical Validation in Current Hardware Architectures, Volume 08021 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)Verified integration of linear nth order ODEs using large steps.. Applied Mathematics and Computation, 186 (1): 879-890 (2007)Enclosing solutions of an inverse Sturm-Liouville problem with finite data.. Computing, 53 (3-4): 379-395 (1994)Complex Inclusion Functions in the CoStLy C++ Class Library.. ICMS, Volume 6327 von Lecture Notes in Computer Science, Seite 333-336. Springer, (2010)On Taylor Model Based Integration of ODEs., , und . SIAM J. Numerical Analysis, 45 (1): 236-262 (2007)Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies., , , und . Numerical Software with Result Verification, Volume 2991 von Lecture Notes in Computer Science, Seite 36-63. Springer, (2003)A Complex Mean Value Form for Curves.. Numerical Algorithms, 37 (1-4): 337-343 (2004)