Solvers for the verified solution of parametric linear systems

Michael Zimmer, Walter Krämer, Evgenija D. Popova. Solvers for the verified solution of parametric linear systems. Computing, 94(2-4):109-123, 2012. [doi]

Abstract

Abstract is missing.