Kolberg, Mariana, Bohlender, Gerd, Claudio, Dalcidio
A parallel version of the self-verified method for solving linear systems was presented on PARA and VECPAR conferences in 2006. In this research we propose improvements aiming at a better...
A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC (2008)
Kolberg, Mariana, Krämer, Walter, Zimmer, Michael
C-XSC is a powerful C++ class library which simplifies the development of selfverifying numerical software. But C-XSC is not only a development tool, it also provides a lot of predefined highly...