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.
CITATION STYLE
van der Hoeven, J., & Mourrain, B. (2017). Efficient certification of numeric solutions to eigenproblems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10693 LNCS, pp. 81–94). Springer Verlag. https://doi.org/10.1007/978-3-319-72453-9_6
Mendeley helps you to discover research relevant for your work.