The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Shin'ichi Oishi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi
    Fast Verification for Respective Eigenvalues of Symmetric Matrix. [Citation Graph (0, 0)][DBLP]
    CASC, 2005, pp:306-317 [Conf]
  2. Bruno Buchberger, Christian Jansson, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump
    05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs. [Citation Graph (0, 0)][DBLP]
    Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005, pp:- [Conf]
  3. Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump
    05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs. [Citation Graph (0, 0)][DBLP]
    Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005, pp:- [Conf]
  4. R. Baker Kearfott, Markus Neher, Shin'ichi Oishi, Fabien Rico
    Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:36-63 [Conf]
  5. Hisa-Aki Tanaka, Kazuo Horiuchi, Shin'ichi Oishi
    Chaos from Orbit-Flip Homoclinic Orbits Generated in Real Systems. [Citation Graph (0, 0)][DBLP]
    ISCAS, 1995, pp:263-266 [Conf]
  6. Yusuke Nakaya, Shin'ichi Oishi
    Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1998, v:4, n:2, pp:171-177 [Journal]
  7. Shin'ichi Oishi
    Numerical Verification Method of Existence of Connecting Orbits for Continuous Dynamical Systems. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1998, v:4, n:2, pp:193-201 [Journal]
  8. Takeshi Ogita, Shin'ichi Oishi
    Fast Inclusion of Interval Matrix Multiplication. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 2005, v:11, n:3, pp:191-205 [Journal]
  9. Takeshi Ogita, Shin'ichi Oishi, Yasunori Ushiro
    Computation of Sharp Rigorous Componentwise Error Bounds for the Approximate Solutions of Systems of Linear Equations. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 2003, v:9, n:3, pp:229-239 [Journal]

Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002