Shin'ichi Oishi Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLN. Yamanaka, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi: A parallel algorithm for accurate dot product. Parallel Computing 34(6-8): 392-410 (2008)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSiegfried M. Rump, Takeshi Ogita, Shin'ichi Oishi: Accurate Floating-Point Summation Part I: Faithful Rounding. SIAM J. Scientific Computing 31(1): 189-224 (2008)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSiegfried M. Rump, Takeshi Ogita, Shin'ichi Oishi: Accurate Floating-Point Summation Part II: Sign, K-Fold Faithful and Rounding to Nearest. SIAM J. Scientific Computing 31(2): 1269-1302 (2008)
2006
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin'ichi Oishi, Joos Vandewalle: Special Section on Nonlinear Theory and its Applications. IEICE Transactions 89-A(10): 2690-2691 (2006)
2005
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShinya Miyajima, Takeshi Ogita, Shin'ichi Oishi: Fast Verification for Respective Eigenvalues of Symmetric Matrix. CASC 2005: 306-317
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTakeshi Ogita, Shin'ichi Oishi: Fast Inclusion of Interval Matrix Multiplication. Reliable Computing 11(3): 191-205 (2005)
2003
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Baker Kearfott, Markus Neher, Shin'ichi Oishi, Fabien Rico: Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies. Numerical Software with Result Verification 2003: 36-63
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTakeshi Ogita, Shin'ichi Oishi, Yasunori Ushiro: Computation of Sharp Rigorous Componentwise Error Bounds for the Approximate Solutions of Systems of Linear Equations. Reliable Computing 9(3): 229-239 (2003)
1998
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYusuke Nakaya, Shin'ichi Oishi: Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy. J. UCS 4(2): 171-177 (1998)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin'ichi Oishi: Numerical Verification Method of Existence of Connecting Orbits for Continuous Dynamical Systems. J. UCS 4(2): 193-201 (1998)
1995
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHisa-Aki Tanaka, Kazuo Horiuchi, Shin'ichi Oishi: Chaos from Orbit-Flip Homoclinic Orbits Generated in Real Systems. ISCAS 1995: 263-266

Coauthor Index

1Bruno Buchberger [8] [9] [11]
2Kazuo Horiuchi [1]
3Christian Jansson [8]
4R. Baker Kearfott [5]
5Shinya Miyajima [7]
6Yusuke Nakaya [3]
7Markus Neher [5]
8Takeshi Ogita [4] [6] [7] [12] [13] [14]
9Michael Plum [8] [9] [11]
10Fabien Rico [5]
11Siegfried M. Rump [8] [9] [11] [12] [13] [14]
12Hisa-Aki Tanaka [1]
13Yasunori Ushiro [4]
14Joos Vandewalle [10]
15N. Yamanaka [14]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)