Kobel, Alexander Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Kobel, A. (2011). Certified numerical root finding. Master Thesis, Universität des Saarlandes, Saarbrücken.