05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bruno Buchberger, Christian Jansson, Shin ichi Oishi, Michael Plum, Siegfried M. Rump. 05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs. In Bruno Buchberger, Shin ichi Oishi, Michael Plum, Siegfried M. Rump, editors, Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005. Volume 05391 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2005. [doi]

This author has not been identified. Look up 'Bruno Buchberger' in GoogleThis author has not been identified. Look up 'Christian Jansson' in GoogleThis author has not been identified. Look up 'Shin ichi Oishi' in GoogleThis author has not been identified. Look up 'Michael Plum' in GoogleThis author has not been identified. Look up 'Siegfried M. Rump' in Google

runs on WebDSL