Shin'ichi Oishi (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

Selection of 3 from 23 records - Shin'ichi Oishi has 22 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

15		Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump: Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
13		Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump: 05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005
12		Bruno Buchberger, Christian Jansson, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump: 05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005