Werner Hofschuster

According to our database, Werner Hofschuster authored at least 8 papers between 1997 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Sparse Matrices and Vectors in C-XSC.

Michael Zimmer, Walter Krämer, Werner Hofschuster

Reliab. Comput., 2010

Using C-XSC for High Performance Verified Computing.

Walter Krämer, Michael Zimmer, Werner Hofschuster

Proceedings of the Applied Parallel and Scientific Computing, 2010

2008

C-XSC and Closely Related Software Packages.

Werner Hofschuster, Walter Krämer, Markus Neher

Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008

A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range.

Frithjof Blomquist, Werner Hofschuster, Walter Krämer

Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008

2006

FILIB++, a fast interval library supporting containment computations.

Michael Lerch, German Tischler, Jürgen Wolff von Gudenberg, Werner Hofschuster, Walter Krämer

ACM Trans. Math. Softw., 2006

2003

C-XSC 2.0: A C++ Library for Extended Scientific Computing.

Werner Hofschuster, Walter Krämer

Proceedings of the Numerical Software with Result Verification, 2003

2000

Mathematical Function Software on the Web--Are Such Codes Useful for Verification Algorithms?

Werner Hofschuster, Walter Krämer

Reliab. Comput., 2000

1997

A Computer Oriented Approach to Get Sharp Reliable Error Bounds.

Werner Hofschuster, Walter Krämer

Reliab. Comput., 1997