( en | de | ru )

 

Disambiguation of "Oishi, Shin'ichi"

Author of the publication

copydeleteadd this publication to your clipboard
Fast Verified Solutions of Sparse Linear Systems with H-matrices.

, , , and . Reliab. Comput., 19 (2): 127-141 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Shin'ichi Yuasa

Shin'ichi Kameyama

 

Other publications of authors with the same name

Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape., and . SIAM J. Numerical Analysis, 51 (3): 1634-1654 (2013)Fast verification of solutions of matrix equations., and . Numerische Mathematik, 90 (4): 755-773 (2002)Numerical verification of positiveness for solutions to semilinear elliptic problems., , , and . JSIAM Lett., (2015)Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation., , , and . J. Sci. Comput., 89 (2): 34 (2021)Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains., , and . Commun. Nonlinear Sci. Numer. Simul., (2022)Numerical verification for asymmetric solutions of the Hénon equation on bounded domains., , and . J. Comput. Appl. Math., (2022)Modified error bounds for approximate solutions of dense linear systems., , , and . J. Comput. Appl. Math., (2020)05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs., , , and . Algebraic and Numerical Algorithms and Computer-assisted Proofs, volume 05391 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator., , , and . MACIS, volume 9582 of Lecture Notes in Computer Science, page 218-223. Springer, (2015)A Note on a Verified Automatic Integration Algorithm., , , and . Reliab. Comput., 15 (2): 156-167 (2011)