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, 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