Existing selfverifying solvers for dense linear (interval-) systems in C-XSC provide high
accuracy, but are rather slow. A new set of solvers is presented, which are a lot faster than …

So called self-validating or self-verifying numerical methods allow to prove mathematical
statements (existence of a fixed point, of a solution of an ODE, of a zero of a continuous …

This paper presents a new multithreaded approach for the problem of solving dense linear
systems with verified results. We propose a new method that allows our algorithm to run in a …

This paper presents a new parallel implementation for solving dense interval linear systems
with verified computing. The use of intervals appears as one possible way to handle the …

Efficient parallel solvers for large dense systems of linear interval equations Page 1 Efficient
parallel solvers for large dense systems of linear interval equations Mariana Kolberg1 …

Automatic result verification is an important tool to reduce the impact of floating-point errors
in numerical computation and to guarantee the mathematical rigor of results. One …

The traditional solver for linear interval systems available in C-XSC [6, 1] is mathematically
based on the Krawczyk [12] operator and modifications introduced by Rump [17]. The …

This paper presents the usage of a reliable parallel linear system solver to compute the
solution of problem 7 of the SIAM 100-digit challenge. Tests were executed on two different …

Esta tese apresenta uma ferramenta de resolução de sistemas lineares densos pontuais e
intervalares. As principais características desta ferramenta são rapidez, confiabilidade e …

In this paper we describe the integration and use of a high-accuracy and interval arithmetic
library (C-XSC library) on multicore processors using OpenMP and POSIX Threads for the …