This article presents a parallel self-verified solver for dense linear systems of equations. This kind of solver is commonly used in many different kinds of real applications which deal with largeâ€¦ (More)

A parallel version of the self-verified method for solving linear systems was presented in [16, 15]. In this research we propose improvements aiming at a better performance. The idea is to implementâ€¦ (More)

Solvers for linear equation systems are commonly used in many different kinds of real applications, which deal with large matrices. Nevertheless, two key problems appear to limit the use of linearâ€¦ (More)

This paper presents the parallelization of a self-verified method for solving dense linear equations. Verified computing provides an interval result that surely contains the correct result. Theâ€¦ (More)

The present work is devoted to computation with zonotopes in the plane. Using ideas from the theory of quasivector spaces we formulate an approximation problem for zonotopes and propose an algorithmâ€¦ (More)

In this paper, we examine the structure of spaces which occur in connection with numerical computation on computers. In other words, we examine the mathematical properties of computers. The conceptâ€¦ (More)