Werner Hofschuster

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Zur Nullstellenverifikation bei Besselfunktionen erster Gattung
PAMM
2018-07-26Paper
FILIB++, a fast interval library supporting containment computations
ACM Transactions on Mathematical Software
2008-12-21Paper
Numerical Software with Result Verification
Lecture Notes in Computer Science
2007-09-28Paper
Mathematical function software on the web -- are such codes useful for verification algorithms?
Reliable Computing
2000-09-04Paper
A computer oriented approach to get sharp reliable error bounds
Reliable Computing
1998-06-02Paper


Research outcomes over time


This page was built for person: Werner Hofschuster