05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs.

Bruno Buchberger Shin'ichi Oishi Michael Plum Siegfried M. Rump 05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs. 2005 conf/dagstuhl/2005P5391 Algebraic and Numerical Algorithms and Computer-assisted Proofs http://drops.dagstuhl.de/opus/volltexte/2006/455 db/conf/dagstuhl/P5391.html#BuchbergerOPR05