-
Efficient algorithms for verified scientific computing : Numerical linear alg...
Interval arithmetic is a means to compute verified results. However, a naive use of interval arithmetic does not provide accurate enclosures of the exact results.... -
Efficient computation with structured matrices and arithmetic expressions
Designing efficient code in practice for a given computation is a hard task. In this thesis, we tackle this issue in two different situations. The first part of the...
