Algebraic and Numerical Algorithms and Computer-assisted Proofs Bruno Buchberger Shin'ichi Oishi Michael Plum Siegfried M. Rump 05391 2006 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany Dagstuhl Seminar Proceedings db/conf/dagstuhl/P5391.html