Shin'ichi Oishi

66 papers B 1C 1Journal 50Unranked 11

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