dblp.uni-trier.de www.uni-trier.de

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

Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump (Eds.): Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005. Dagstuhl Seminar Proceedings 05391 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Mar 15 03:28:28 2010 by Michael Ley (ley@uni-trier.de)