Sign in
Solving Dense Interval Linear Systems with Verified Computing on Multicore Architectures.
Cleber Roberto Milani
Mariana Luderitz Kolberg
Luiz Gustavo Fernandes
Published in:
VECPAR (2010)
Keyphrases
</>
linear systems
sparse linear systems
dynamical systems
sufficient conditions
linear equations
preconditioned conjugate gradient method
multicore processors
numerical solution
expert systems
linear programming
coefficient matrix