In this paper, we present an efficient algorithm for the certification of numeric solutions to eigenproblems. The algorithm relies on a mixture of ball arithmetic, a suitable Newton iteration, and clustering of eigenvalues that are close.

Occasion: MACIS 2017, Vienna, Austria, november 15, 2017

Documents: slideshow, TeXmacs source