( en | de | ru )

 

Disambiguation of "Oishi, Shin'ichi"

Author of the publication

copydeleteadd this publication to your clipboard
A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems.

, , and . Numer. Algorithms, 76 (1): 33-51 (2017)

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

A Note on a Verified Automatic Integration Algorithm., , , and . Reliab. Comput., 15 (2): 156-167 (2011)Numerical verification of positiveness for solutions to semilinear elliptic problems., , , and . JSIAM Lett., (2015)Fast verification of solutions of matrix equations., and . Numerische Mathematik, 90 (4): 755-773 (2002)Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations., , , and . CoRR, (2020)Numerical Verification of Solutions of Nekrasov's Integral Equation., and . Computing, 75 (1): 15-25 (2005)Error-free transformation of matrix multiplication with a posteriori validation., , and . Numerical Lin. Alg. with Applic., 23 (5): 931-946 (2016)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)Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation., , , and . J. Sci. Comput., 89 (2): 34 (2021)Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape., and . SIAM J. Numerical Analysis, 51 (3): 1634-1654 (2013)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)