| 2008 |
|---|
| 12 | EE | 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) |
| 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 | EE | Shin'ichi Oishi,
Joos Vandewalle:
Special Section on Nonlinear Theory and its Applications.
IEICE Transactions 89-A(10): 2690-2691 (2006) |
| 2005 |
|---|
| 9 | EE | 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 | EE | 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 | EE | Shinya Miyajima,
Takeshi Ogita,
Shin'ichi Oishi:
Fast Verification for Respective Eigenvalues of Symmetric Matrix.
CASC 2005: 306-317 |
| 6 | EE | Takeshi Ogita,
Shin'ichi Oishi:
Fast Inclusion of Interval Matrix Multiplication.
Reliable Computing 11(3): 191-205 (2005) |
| 2003 |
|---|
| 5 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
