Shin'ichi Oishi

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 22

Top Topics

Differential Equations

Numerical Solution

Eigenvalue Problems

Top Venues

J. Comput. Appl. Math.

Numerische Mathematik

Publications

Sora Sawai, Kazuaki Tanaka, Katsuhisa Ozaki, Shin'ichi Oishi
Polygonal Sequence-driven Triangulation Validator: An Incremental Approach to 2D Triangulation Verification. CoRR (2024)
Taisei Asai, Kazuaki Tanaka, Shin'ichi Oishi
Numerical verification for asymmetric solutions of the Hénon equation on bounded domains. J. Comput. Appl. Math. 399 (2022)
Kouta Sekine, Kazuaki Tanaka, Shin'ichi Oishi
Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems. Comput. Math. Appl. 106 (2022)
Xuefeng Liu, Mitsuhiro T. Nakao, Shin'ichi Oishi
Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains. Commun. Nonlinear Sci. Numer. Simul. 108 (2022)
Xuefeng Liu, Mitsuhiro T. Nakao, Shin'ichi Oishi
Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains. CoRR (2021)
Makoto Mizuguchi, Mitsuhiro T. Nakao, Kouta Sekine, Shin'ichi Oishi
Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation. J. Sci. Comput. 89 (2) (2021)
Marko Lange, Shin'ichi Oishi
Correction to: A note on Dekker's FastTwoSum algorithm. Numerische Mathematik 149 (1) (2021)
Atsushi Minamihata, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
Modified error bounds for approximate solutions of dense linear systems. J. Comput. Appl. Math. 369 (2020)
Shin'ichi Oishi
Numerical inclusion of exact periodic solutions for time delay Duffing equation. J. Comput. Appl. Math. 372 (2020)
Taisei Asai, Kazuaki Tanaka, Shin'ichi Oishi
Numerical verification for asymmetric solutions of the Hénon equation on the unit square. CoRR (2020)
Marko Lange, Shin'ichi Oishi
A note on Dekker's FastTwoSum algorithm. Numerische Mathematik 145 (2) (2020)
Xuefeng Liu, Mitsuhiro T. Nakao, Chun'guang You, Shin'ichi Oishi
Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations. CoRR (2020)
Kouta Sekine, Mitsuhiro T. Nakao, Shin'ichi Oishi
A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator. Numerische Mathematik 146 (4) (2020)
Kouta Sekine, Mitsuhiro T. Nakao, Shin'ichi Oishi
A new formulation for the numerical proof of the existence of solutions to elliptic problems. CoRR (2019)
Kouta Sekine, Kazuaki Tanaka, Shin'ichi Oishi
Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems. CoRR (2019)
Ryo Kobayashi, Takuma Kimura, Shin'ichi Oishi
A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems. Numer. Algorithms 76 (1) (2017)
Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, Shin'ichi Oishi
Sharp numerical inclusion of the best constant for embedding on bounded convex domain. J. Comput. Appl. Math. 311 (2017)
Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi
Numerical verification for existence of a global-in-time solution to semilinear parabolic equations. J. Comput. Appl. Math. 315 (2017)
Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin'ichi Oishi
Numerical validation of blow-up solutions of ordinary differential equations. J. Comput. Appl. Math. 314 (2017)
Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi
A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory. SIAM J. Numer. Anal. 55 (2) (2017)
Neil Hoffman, Kazuhiro Ichihara, Masahide Kashiwagi, Hidetoshi Masai, Shin'ichi Oishi, Akitoshi Takayasu
Verified Computations for Hyperbolic 3-Manifolds. Exp. Math. 25 (1) (2016)
Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi
Error-free transformation of matrix multiplication with a posteriori validation. Numer. Linear Algebra Appl. 23 (5) (2016)
Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, Shin'ichi Oishi
Numerical verification of positiveness for solutions to semilinear elliptic problems. JSIAM Lett. 7 (2015)
Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi
Improvement of error-free splitting for accurate matrix multiplication. J. Comput. Appl. Math. 288 (2015)
Naoya Yamanaka, Tomoaki Okayama, Shin'ichi Oishi
Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval. MACIS (2015)
Stef Graillat, Christoph Quirin Lauter, Ping Tak Peter Tang, Naoya Yamanaka, Shin'ichi Oishi
-Vectors. ACM Trans. Math. Softw. 41 (4) (2015)
Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi
Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator. MACIS (2015)
Xuefeng Liu, Shin'ichi Oishi
Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape. SIAM J. Numer. Anal. 51 (3) (2013)
Atsushi Minamihata, Kouta Sekine, Takeshi Ogita, Shin'ichi Oishi
Fast Verified Solutions of Sparse Linear Systems with H-matrices. Reliab. Comput. 19 (2) (2013)
Tetsuo Nishi, Siegfried M. Rump, Shin'ichi Oishi
A consideration on the condition number of extremely ill-conditioned matrices. ECCTD (2013)
Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi
A robust algorithm for geometric predicate by error-free determinant transformation. Inf. Comput. 216 (2012)
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. Numer. Algorithms 59 (1) (2012)
Xuefeng Liu, Tomoaki Okayama, Shin'ichi Oishi
High-Precision Eigenvalue Bound for the Laplacian with Singularities. ASCM (2012)
Katsuhisa Ozaki, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
Fast algorithms for floating-point interval matrix multiplication. J. Comput. Appl. Math. 236 (7) (2012)
Naoya Yamanaka, Masahide Kashiwagi, Shin'ichi Oishi, Takeshi Ogita
A Note on a Verified Automatic Integration Algorithm. Reliab. Comput. 15 (2) (2011)
Tetsuo Nishi, Hiroshi Tanimoto, Shin'ichi Oishi
Cascade synthesis of RC polyphase one-ports. ECCTD (2011)
Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi
An algorithm for automatically selecting a suitable verification method for linear systems. Numer. Algorithms 56 (3) (2011)
Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi
Tight and efficient enclosure of matrix multiplication by using optimized BLAS. Numer. Linear Algebra Appl. 18 (2) (2011)
Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems. Reliab. Comput. 14 (2010)
Shin'ichi Oishi
Error free transformations of floating point numbers and its applications to constructing efficient error free numerical algorithms. SNC (2009)
Shin'ichi Oishi, Kunio Tanabe
Numerical Inclusion of Optimum Point for Linear Programming. JSIAM Lett. 1 (2009)
B. Malcolm Brown, Erich Kaltofen, Shin'ichi Oishi, Siegfried M. Rump
09471 Abstracts Collection - Computer-assisted proofs - tools, methods and applications. Computer-assisted proofs - tools, methods and applications (2009)
B. Malcolm Brown, Erich Kaltofen, Shin'ichi Oishi, Siegfried M. Rump
09471 Executive Summary - Computer-assisted proofs - tools, methods and applications. Computer-assisted proofs - tools, methods and applications (2009)
Siegfried M. Rump, Takeshi Ogita, Shin'ichi Oishi
Accurate Floating-Point Summation Part I: Faithful Rounding. SIAM J. Sci. Comput. 31 (1) (2008)
Naoya Yamanaka, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
A parallel algorithm for accurate dot product. Parallel Comput. 34 (6-8) (2008)
Siegfried M. Rump, Takeshi Ogita, Shin'ichi Oishi
Accurate Floating-Point Summation Part II: Sign, K-Fold Faithful and Rounding to Nearest. SIAM J. Sci. Comput. 31 (2) (2008)
Shin'ichi Oishi, Joos Vandewalle
Special Section on Nonlinear Theory and its Applications. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (10) (2006)
Sunao Murashige, Shin'ichi Oishi
Numerical Verification of Solutions of Nekrasov's Integral Equation. Computing 75 (1) (2005)
Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
Accurate Sum and Dot Product. SIAM J. Sci. Comput. 26 (6) (2005)
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)
Takeshi Ogita, Shin'ichi Oishi
Fast Inclusion of Interval Matrix Multiplication. Reliab. Comput. 11 (3) (2005)
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)
Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi
Fast Verification for Respective Eigenvalues of Symmetric Matrix. CASC (2005)
Ken'ichiro Tanaka, Sunao Murashige, Shin'ichi Oishi
On necessary and sufficient conditions for numerical verification of double turning points. Numerische Mathematik 97 (3) (2004)
Sunao Murashige, Shin'ichi Oishi
Numerical Verification of Solutions of Periodic Integral Equations with a Singular Kernel. Numer. Algorithms 37 (1-4) (2004)
Nobuyo Kasuga, Katsuhito Itoh, Shin'ichi Oishi, Tomomasa Nagashima
Study on Relationship between Technostress and Antisocial Behavior on Computers. IEICE Trans. Inf. Syst. (6) (2004)
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)
Takeshi Ogita, Shin'ichi Oishi, Yasunori Ushiro
Computation of Sharp Rigorous Componentwise Error Bounds for the Approximate Solutions of Systems of Linear Equations. Reliab. Comput. 9 (3) (2003)
Shin'ichi Oishi, Siegfried M. Rump
Fast verification of solutions of matrix equations. Numerische Mathematik 90 (4) (2002)
Shin'ichi Oishi
Numerical Verification Method of Existence of Connecting Orbits for Continuous Dynamical Systems. J. Univers. Comput. Sci. 4 (2) (1998)
Yusuke Nakaya, Shin'ichi Oishi
Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy. J. Univers. Comput. Sci. 4 (2) (1998)
Hisa-Aki Tanaka, Kazuo Horiuchi, Shin'ichi Oishi
Chaos from Orbit-Flip Homoclinic Orbits Generated in Real Systems. ISCAS (1995)
Masakazu Kojima, Shin'ichi Oishi, Yuzo Sumi, Kazuo Horiuchi
A PL homotopy continuation method with the use of an odd map for the artificial level. Math. Program. 31 (2) (1985)