Michael Zimmer

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Sparse Linear Systems

Combination Rule

Dempster Shafer

Interval Arithmetic

Top Venues

Publications

Michael Zimmer, Gabor Rebner, Walter Krämer
An overview of C-XSC as a tool for interval arithmetic and its application in computing verified uncertain probabilistic models under Dempster-Shafer theory. Soft Comput. 17 (8) (2013)
Michael Zimmer, Walter Krämer, Evgenija D. Popova
Solvers for the verified solution of parametric linear systems. Computing 94 (2-4) (2012)
Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer
Efficient Parallel Solvers for Large Dense Systems of Linear Interval Equations. Reliab. Comput. 15 (3) (2011)
Walter Krämer, Michael Zimmer, Werner Hofschuster
Using C-XSC for High Performance Verified Computing. PARA (2) (2010)
Michael Zimmer, Walter Krämer, Werner Hofschuster
Sparse Matrices and Vectors in C-XSC. Reliab. Comput. 14 (2010)
Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer
A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC. Numerical Validation in Current Hardware Architectures (2008)
Michael Zimmer, Walter Krämer
Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS. Numerical Validation in Current Hardware Architectures (2008)
Walter Krämer, Michael Zimmer
Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS. Numerical Validation in Current Hardware Architectures (2008)
Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer
A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC. Numerical Validation in Current Hardware Architectures (2008)