Shin ichi Oishi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

2011

An algorithm for automatically selecting a suitable verification method for linear systemsKatsuhisa Ozaki, Takeshi Ogita, Shin ichi Oishi. na, 56(3):363-382, 2011. [doi]

2008

Accurate Floating-Point Summation Part II: Sign, K-Fold Faithful and Rounding to NearestSiegfried M. Rump, Takeshi Ogita, Shin ichi Oishi. siamsc, 31(2):1269-1302, 2008. [doi]

Accurate Floating-Point Summation Part I: Faithful RoundingSiegfried M. Rump, Takeshi Ogita, Shin ichi Oishi. siamsc, 31(1):189-224, 2008. [doi]

A parallel algorithm for accurate dot productN. Yamanaka, Takeshi Ogita, Siegfried M. Rump, Shin ichi Oishi. pc, 34(6-8):392-410, 2008. [doi]

2006

Special Section on Nonlinear Theory and its ApplicationsShin ichi Oishi, Joos Vandewalle. ieicet, 89-A(10):2690-2691, 2006. [doi]

2005

2004

Study on Relationship between Technostress and Antisocial Behavior on ComputersNobuyo Kasuga, Katsuhito Itoh, Shin ichi Oishi, Tomomasa Nagashima. ieicet, 87-D(6):1461-1465, 2004. [doi]

2003

Libraries, Tools, and Interactive Systems for Verified Computations Four Case StudiesR. Baker Kearfott, Markus Neher, Shin ichi Oishi, Fabien Rico. Dagstuhl 2004: 36-63 [doi]

Computation of Sharp Rigorous Componentwise Error Bounds for the Approximate Solutions of Systems of Linear EquationsTakeshi Ogita, Shin ichi Oishi, Yasunori Ushiro. rc, 9(3):229-239, 2003. [doi]

1998

Numerical Verification Method of Existence of Connecting Orbits for Continuous Dynamical SystemsShin ichi Oishi. jucs, 4(2):193-201, 1998. [doi]

Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed AccuracyYusuke Nakaya, Shin ichi Oishi. jucs, 4(2):171-177, 1998. [doi]

1995

Chaos from Orbit-Flip Homoclinic Orbits Generated in Real SystemsHisa-Aki Tanaka, Kazuo Horiuchi, Shin ichi Oishi. iscas 1995: 263-266

Sign in or sign up to see more results.

runs on WebDSL