Dagstuhl Seminar Proceedings: Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005

a service of Schloss Dagstuhl - Leibniz Center for Informatics