Michael Zimmer

According to our database, Michael Zimmer authored at least 9 papers between 2008 and 2013.

Collaborative distances:

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

2013

Software zur hocheffizienten Lösung von Intervallgleichungssystemen mit C-XSC.

Michael Zimmer

PhD thesis, 2013

An overview of C-XSC as a tool for interval arithmetic and its application in computing verified uncertain probabilistic models under Dempster-Shafer theory.

Michael Zimmer, Gabor Rebner, Walter Krämer

Soft Comput., 2013

2012

Solvers for the verified solution of parametric linear systems.

Michael Zimmer, Walter Krämer, Evgenija D. Popova

Computing, 2012

2011

Efficient Parallel Solvers for Large Dense Systems of Linear Interval Equations.

Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer

Reliab. Comput., 2011

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

Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS.

Michael Zimmer, Walter Krämer

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

Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS.

Walter Krämer, Michael Zimmer

Proceedings of the Numerical Validation in Current Hardware Architectures, 2008

A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC.

Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer

Proceedings of the Numerical Validation in Current Hardware Architectures, 2008