@inproceedings{3e690505c73f4fdd8e22d568e025f639,
title = "Efficient certification of numeric solutions to eigenproblems",
abstract = "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.",
keywords = "Ball arithmetic, Computable analysis, Interval arithmetic, Reliable computing",
author = "\{van der Hoeven\}, Joris and Bernard Mourrain",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2017.; 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017 ; Conference date: 15-11-2017 Through 17-11-2017",
year = "2017",
month = jan,
day = "1",
doi = "10.1007/978-3-319-72453-9\_6",
language = "English",
isbn = "9783319724522",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "81--94",
editor = "Kotsireas, \{Ilias S.\} and Johannes Blomer and Simos, \{Dimitris E.\} and Temur Kutsia",
booktitle = "Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Proceedings",
}