Horst Simon
-
Highly accurate verified error bounds for Krylov type linear system solvers
Applied Numerical Mathematics
SLAMM - Automating Memory Analysis for Numerical Algorithms
Electronic Notes in Theoretical Computer Science (ENTCS)