%0 Conference Paper %1 conf/dagstuhl/BuchbergerJOPR05 %A Buchberger, Bruno %A Jansson, Christian %A Oishi, Shin'ichi %A Plum, Michael %A Rump, Siegfried M. %B Algebraic and Numerical Algorithms and Computer-assisted Proofs %D 2005 %E Buchberger, Bruno %E Oishi, Shin'ichi %E Plum, Michael %E Rump, Siegfried M. %I Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany %K %T 05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P5391.html#BuchbergerJOPR05 %V 05391

@inproceedings{conf/dagstuhl/BuchbergerJOPR05, added-at = {2023-12-13T00:38:02.000+0100}, author = {Buchberger, Bruno and Jansson, Christian and Oishi, Shin'ichi and Plum, Michael and Rump, Siegfried M.}, biburl = {https://www.bibsonomy.org/bibtex/2a43a7100eaabcdb3db9988ecb84b8d6a/admin}, booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs}, crossref = {conf/dagstuhl/2005P5391}, editor = {Buchberger, Bruno and Oishi, Shin'ichi and Plum, Michael and Rump, Siegfried M.}, ee = {http://drops.dagstuhl.de/opus/volltexte/2006/454}, interhash = {662b46f2ee8a7eba7d0e648dd6a2ae23}, intrahash = {a43a7100eaabcdb3db9988ecb84b8d6a}, keywords = {}, publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2023-12-13T00:38:02.000+0100}, title = {05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P5391.html#BuchbergerJOPR05}, volume = 05391, year = 2005 }