A PL homotopy continuation method with the use of an odd map for the artificial level. - Masakazu Kojima; Shin'ichi Oishi; Yuzo Sumi; Kazuo Horiuchi (Math. Program., 1985)

Chaos from Orbit-Flip Homoclinic Orbits Generated in Real Systems. - Hisa-Aki Tanaka; Kazuo Horiuchi; Shin'ichi Oishi (ISCAS, 1995)

Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy. - Yusuke Nakaya; Shin'ichi Oishi (J. Univers. Comput. Sci., 1998)

Numerical Verification Method of Existence of Connecting Orbits for Continuous Dynamical Systems. - Shin'ichi Oishi (J. Univers. Comput. Sci., 1998)

Fast verification of solutions of matrix equations. - Shin'ichi Oishi; Siegfried M. Rump (Numerische Mathematik, 2002)

Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies. - R. Baker Kearfott; Markus Neher 001; Shin'ichi Oishi; Fabien Rico (Numerical Software with Result Verification, 2003)

Computation of Sharp Rigorous Componentwise Error Bounds for the Approximate Solutions of Systems of Linear Equations. - Takeshi Ogita; Shin'ichi Oishi; Yasunori Ushiro (Reliab. Comput., 2003)

Study on Relationship between Technostress and Antisocial Behavior on Computers. - Nobuyo Kasuga; Katsuhito Itoh; Shin'ichi Oishi; Tomomasa Nagashima (IEICE Trans. Inf. Syst., 2004)

Numerical Verification of Solutions of Periodic Integral Equations with a Singular Kernel. - Sunao Murashige; Shin'ichi Oishi (Numer. Algorithms, 2004)

On necessary and sufficient conditions for numerical verification of double turning points. - Ken'ichiro Tanaka; Sunao Murashige; Shin'ichi Oishi (Numerische Mathematik, 2004)

Fast Verification for Respective Eigenvalues of Symmetric Matrix. - Shinya Miyajima; Takeshi Ogita; Shin'ichi Oishi (CASC, 2005)

05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs. - Bruno Buchberger; Christian Jansson; Shin'ichi Oishi; Michael Plum; Siegfried M. Rump (Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005)

05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs. - Bruno Buchberger; Shin'ichi Oishi; Michael Plum; Siegfried M. Rump (Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005)

Numerical Verification of Solutions of Nekrasov's Integral Equation. - Sunao Murashige; Shin'ichi Oishi (Computing, 2005)

Fast Inclusion of Interval Matrix Multiplication. - Takeshi Ogita; Shin'ichi Oishi (Reliab. Comput., 2005)

Accurate Sum and Dot Product. - Takeshi Ogita; Siegfried M. Rump; Shin'ichi Oishi (SIAM J. Sci. Comput., 2005)

Special Section on Nonlinear Theory and its Applications. - Shin'ichi Oishi; Joos Vandewalle (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006)

A parallel algorithm for accurate dot product. - Naoya Yamanaka; Takeshi Ogita; Siegfried M. Rump; Shin'ichi Oishi (Parallel Comput., 2008)

Accurate Floating-Point Summation Part I: Faithful Rounding. - Siegfried M. Rump; Takeshi Ogita; Shin'ichi Oishi (SIAM J. Sci. Comput., 2008)

Accurate Floating-Point Summation Part II: Sign, K-Fold Faithful and Rounding to Nearest. - Siegfried M. Rump; Takeshi Ogita; Shin'ichi Oishi (SIAM J. Sci. Comput., 2008)

09471 Abstracts Collection - Computer-assisted proofs - tools, methods and applications. - B. Malcolm Brown; Erich L. Kaltofen; Shin'ichi Oishi; Siegfried M. Rump (Computer-assisted proofs - tools, methods and applications, 2009)

09471 Executive Summary - Computer-assisted proofs - tools, methods and applications. - B. Malcolm Brown; Erich L. Kaltofen; Shin'ichi Oishi; Siegfried M. Rump (Computer-assisted proofs - tools, methods and applications, 2009)

Error free transformations of floating point numbers and its applications to constructing efficient error free numerical algorithms. - Shin'ichi Oishi (SNC, 2009)

Numerical Inclusion of Optimum Point for Linear Programming. - Shin'ichi Oishi; Kunio Tanabe (JSIAM Lett., 2009)

Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems. - Shinya Miyajima; Takeshi Ogita; Siegfried M. Rump; Shin'ichi Oishi (Reliab. Comput., 2010)

Cascade synthesis of RC polyphase one-ports. - Tetsuo Nishi; Hiroshi Tanimoto; Shin'ichi Oishi (ECCTD, 2011)

An algorithm for automatically selecting a suitable verification method for linear systems. - Katsuhisa Ozaki; Takeshi Ogita; Shin'ichi Oishi (Numer. Algorithms, 2011)

Tight and efficient enclosure of matrix multiplication by using optimized BLAS. - Katsuhisa Ozaki; Takeshi Ogita; Shin'ichi Oishi (Numer. Linear Algebra Appl., 2011)

A Note on a Verified Automatic Integration Algorithm. - Naoya Yamanaka; Masahide Kashiwagi; Shin'ichi Oishi; Takeshi Ogita (Reliab. Comput., 2011)

High-Precision Eigenvalue Bound for the Laplacian with Singularities. - Xuefeng Liu; Tomoaki Okayama; Shin'ichi Oishi (ASCM, 2012)

A robust algorithm for geometric predicate by error-free determinant transformation. - Katsuhisa Ozaki; Takeshi Ogita; Shin'ichi Oishi (Inf. Comput., 2012)

Fast algorithms for floating-point interval matrix multiplication. - Katsuhisa Ozaki; Takeshi Ogita; Siegfried M. Rump; Shin'ichi Oishi (J. Comput. Appl. Math., 2012)

Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications. - Katsuhisa Ozaki; Takeshi Ogita; Shin'ichi Oishi; Siegfried M. Rump (Numer. Algorithms, 2012)

A consideration on the condition number of extremely ill-conditioned matrices. - Tetsuo Nishi; Siegfried M. Rump; Shin'ichi Oishi (ECCTD, 2013)

Fast Verified Solutions of Sparse Linear Systems with H-matrices. - Atsushi Minamihata; Kouta Sekine; Takeshi Ogita; Shin'ichi Oishi (Reliab. Comput., 2013)

Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape. - Xuefeng Liu; Shin'ichi Oishi (SIAM J. Numer. Anal., 2013)

Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator. - Akitoshi Takayasu; Makoto Mizuguchi; Takayuki Kubo; Shin'ichi Oishi (MACIS, 2015)

Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval. - Naoya Yamanaka; Tomoaki Okayama; Shin'ichi Oishi (MACIS, 2015)

Improvement of error-free splitting for accurate matrix multiplication. - Katsuhisa Ozaki; Takeshi Ogita; Shin'ichi Oishi (J. Comput. Appl. Math., 2015)

Numerical verification of positiveness for solutions to semilinear elliptic problems. - Kazuaki Tanaka; Kouta Sekine; Makoto Mizuguchi; Shin'ichi Oishi (JSIAM Lett., 2015)

Efficient Calculations of Faithfully Rounded l2-Norms of n-Vectors. - Stef Graillat; Christoph Quirin Lauter; Ping Tak Peter Tang; Naoya Yamanaka; Shin'ichi Oishi (ACM Trans. Math. Softw., 2015)

Verified Computations for Hyperbolic 3-Manifolds. - Neil Hoffman; Kazuhiro Ichihara; Masahide Kashiwagi; Hidetoshi Masai; Shin'ichi Oishi; Akitoshi Takayasu (Exp. Math., 2016)

Error-free transformation of matrix multiplication with a posteriori validation. - Katsuhisa Ozaki; Takeshi Ogita; Shin'ichi Oishi (Numer. Linear Algebra Appl., 2016)

Numerical verification for existence of a global-in-time solution to semilinear parabolic equations. - Makoto Mizuguchi; Akitoshi Takayasu; Takayuki Kubo; Shin'ichi Oishi (J. Comput. Appl. Math., 2017)

Numerical validation of blow-up solutions of ordinary differential equations. - Akitoshi Takayasu; Kaname Matsue; Takiko Sasaki; Kazuaki Tanaka; Makoto Mizuguchi; Shin'ichi Oishi (J. Comput. Appl. Math., 2017)

Sharp numerical inclusion of the best constant for embedding on bounded convex domain. - Kazuaki Tanaka; Kouta Sekine; Makoto Mizuguchi; Shin'ichi Oishi (J. Comput. Appl. Math., 2017)

A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems. - Ryo Kobayashi; Takuma Kimura; Shin'ichi Oishi (Numer. Algorithms, 2017)

A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory. - Makoto Mizuguchi; Akitoshi Takayasu; Takayuki Kubo; Shin'ichi Oishi (SIAM J. Numer. Anal., 2017)

Techniques Concerning Computation Accuracy. - Shin'ichi Oishi; Yusuke Morikura; Kouta Sekine; Hisayasu Kuroda; Maho Nakata (The Art of High Performance Computing for Computational Science, Vol. 1, 2019)

A new formulation for the numerical proof of the existence of solutions to elliptic problems. - Kouta Sekine; Mitsuhiro T. Nakao; Shin'ichi Oishi (CoRR, 2019)

Numerical verification for asymmetric solutions of the Hénon equation on the unit square. - Taisei Asai; Kazuaki Tanaka; Shin'ichi Oishi (CoRR, 2020)

Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations. - Xuefeng Liu; Mitsuhiro T. Nakao; Chun'guang You; Shin'ichi Oishi (CoRR, 2020)

Modified error bounds for approximate solutions of dense linear systems. - Atsushi Minamihata; Takeshi Ogita; Siegfried M. Rump; Shin'ichi Oishi (J. Comput. Appl. Math., 2020)

Numerical inclusion of exact periodic solutions for time delay Duffing equation. - Shin'ichi Oishi (J. Comput. Appl. Math., 2020)

A note on Dekker's FastTwoSum algorithm. - Marko Lange; Shin'ichi Oishi (Numerische Mathematik, 2020)

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. - Kouta Sekine; Mitsuhiro T. Nakao; Shin'ichi Oishi (Numerische Mathematik, 2020)

Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation. - Makoto Mizuguchi; Mitsuhiro T. Nakao; Kouta Sekine; Shin'ichi Oishi (J. Sci. Comput., 2021)

Correction to: A note on Dekker's FastTwoSum algorithm. - Marko Lange; Shin'ichi Oishi (Numerische Mathematik, 2021)

Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems. - Kouta Sekine; Kazuaki Tanaka; Shin'ichi Oishi (Comput. Math. Appl., 2022)

Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains. - Xuefeng Liu; Mitsuhiro T. Nakao; Shin'ichi Oishi (Commun. Nonlinear Sci. Numer. Simul., 2022)

Numerical verification for asymmetric solutions of the Hénon equation on bounded domains. - Taisei Asai; Kazuaki Tanaka; Shin'ichi Oishi (J. Comput. Appl. Math., 2022)

Polygonal Sequence-driven Triangulation Validator: An Incremental Approach to 2D Triangulation Verification. - Sora Sawai; Kazuaki Tanaka; Katsuhisa Ozaki; Shin'ichi Oishi (CoRR, 2024)