Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Shin'ichi Oishi
2010 – today
- 2013
[j17]Xuefeng Liu, Shin'ichi Oishi: Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape. SIAM J. Numerical Analysis 51(3): 1634-1654 (2013)- 2012
- [j16]Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi: A robust algorithm for geometric predicate by error-free determinant transformation. Inf. Comput. 216: 3-13 (2012)
- [j15]Katsuhisa Ozaki, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi: Fast algorithms for floating-point interval matrix multiplication. J. Computational Applied Mathematics 236(7): 1795-1814 (2012)
- [j14]Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi, Siegfried M. Rump: Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications. Numerical Algorithms 59(1): 95-118 (2012)
- 2011
- [j13]Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi: An algorithm for automatically selecting a suitable verification method for linear systems. Numerical Algorithms 56(3): 363-382 (2011)
- [c6]Tetsuo Nishi, Hiroshi Tanimoto, Shin'ichi Oishi: Cascade synthesis of RC polyphase one-ports. ECCTD 2011: 102-105
2000 – 2009
- 2008
- [j12]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)
- [j11]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)
- [j10]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
- [j9]Shin'ichi Oishi, Joos Vandewalle: Special Section on Nonlinear Theory and its Applications. IEICE Transactions 89-A(10): 2690-2691 (2006)
- [e1]Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump (Eds.): Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005. Dagstuhl Seminar Proceedings 05391, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
- 2005
- [j8]Sunao Murashige, Shin'ichi Oishi: Numerical Verification of Solutions of Nekrasov's Integral Equation. Computing 75(1): 15-25 (2005)
- [j7]Takeshi Ogita, Shin'ichi Oishi: Fast Inclusion of Interval Matrix Multiplication. Reliable Computing 11(3): 191-205 (2005)
- [j6]Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi: Accurate Sum and Dot Product. SIAM J. Scientific Computing 26(6): 1955-1988 (2005)
- [c5]Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi: Fast Verification for Respective Eigenvalues of Symmetric Matrix. CASC 2005: 306-317
- [c4]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
- [c3]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
- 2004
- [j5]Nobuyo Kasuga, Katsuhito Itoh, Shin'ichi Oishi, Tomomasa Nagashima: Study on Relationship between Technostress and Antisocial Behavior on Computers. IEICE Transactions 87-D(6): 1461-1465 (2004)
- [j4]Sunao Murashige, Shin'ichi Oishi: Numerical Verification of Solutions of Periodic Integral Equations with a Singular Kernel. Numerical Algorithms 37(1-4): 301-310 (2004)
- 2003
- [j3]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)
- [c2]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
1990 – 1999
- 1998
- [j2]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)
- [j1]Shin'ichi Oishi: Numerical Verification Method of Existence of Connecting Orbits for Continuous Dynamical Systems. J. UCS 4(2): 193-201 (1998)
- 1995
- [c1]Hisa-Aki Tanaka, Kazuo Horiuchi, Shin'ichi Oishi: Chaos from Orbit-Flip Homoclinic Orbits Generated in Real Systems. ISCAS 1995: 263-266
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:24 CEST by the dblp team