Shin'ichi Oishi

	2008
14		N. Yamanaka, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi: A parallel algorithm for accurate dot product. Parallel Computing 34(6-8): 392-410 (2008)
13		Siegfried M. Rump, Takeshi Ogita, Shin'ichi Oishi: Accurate Floating-Point Summation Part I: Faithful Rounding. SIAM J. Scientific Computing 31(1): 189-224 (2008)
12		Siegfried 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
11		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
10		Shin'ichi Oishi, Joos Vandewalle: Special Section on Nonlinear Theory and its Applications. IEICE Transactions 89-A(10): 2690-2691 (2006)
	2005
9		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
8		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
7		Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi: Fast Verification for Respective Eigenvalues of Symmetric Matrix. CASC 2005: 306-317
6		Takeshi Ogita, Shin'ichi Oishi: Fast Inclusion of Interval Matrix Multiplication. Reliable Computing 11(3): 191-205 (2005)
	2003
5		R. 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
4		Takeshi 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
3		Yusuke 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)
2		Shin'ichi Oishi: Numerical Verification Method of Existence of Connecting Orbits for Continuous Dynamical Systems. J. UCS 4(2): 193-201 (1998)
	1995
1		Hisa-Aki Tanaka, Kazuo Horiuchi, Shin'ichi Oishi: Chaos from Orbit-Flip Homoclinic Orbits Generated in Real Systems. ISCAS 1995: 263-266

Coauthor Index

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

Colors in the list of coauthors