B. Fazekas, M. Plum, and C. Wieners. Algebraic and Numerical Algorithms and Computer-assisted Proofs, volume 05391 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)