A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC. - Mariana Luderitz Kolberg; Walter Krämer; Michael Zimmer 002 (Numerical Validation in Current Hardware Architectures, 2008)

Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS. - Walter Krämer; Michael Zimmer 002 (Numerical Validation in Current Hardware Architectures, 2008)

Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS. - Michael Zimmer 002; Walter Krämer (Numerical Validation in Current Hardware Architectures, 2008)

Using C-XSC for High Performance Verified Computing. - Walter Krämer; Michael Zimmer 002; Werner Hofschuster (PARA (2), 2010)

Sparse Matrices and Vectors in C-XSC. - Michael Zimmer 002; Walter Krämer; Werner Hofschuster (Reliab. Comput., 2010)

Efficient Parallel Solvers for Large Dense Systems of Linear Interval Equations. - Mariana Luderitz Kolberg; Walter Krämer; Michael Zimmer 002 (Reliab. Comput., 2011)

Solvers for the verified solution of parametric linear systems. - Michael Zimmer 002; Walter Krämer; Evgenija D. Popova (Computing, 2012)

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 002; Gabor Rebner; Walter Krämer (Soft Comput., 2013)

Software zur hocheffizienten Lösung von Intervallgleichungssystemen mit C-XSC. - Michael Zimmer 002 (2013)