( en | de | ru )

 

Disambiguation of "Oishi, Shin'ichi"

Author of the publication

copydeleteadd this publication to your clipboard
Numerical Verification of Solutions of Nekrasov's Integral Equation.

, and . Computing, 75 (1): 15-25 (2005)

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

Efficient Calculations of Faithfully Rounded l2-Norms of n-Vectors., , , , and . ACM Trans. Math. Softw., 41 (4): 24:1-24:20 (2015)Fast Verified Solutions of Sparse Linear Systems with H-matrices., , , and . Reliab. Comput., 19 (2): 127-141 (2013)Polygonal Sequence-driven Triangulation Validator: An Incremental Approach to 2D Triangulation Verification., , , and . CoRR, (2024)Improvement of error-free splitting for accurate matrix multiplication., , and . J. Comput. Appl. Math., (2015)Fast algorithms for floating-point interval matrix multiplication., , , and . J. Comput. Appl. Math., 236 (7): 1795-1814 (2012)Accurate Floating-Point Summation Part I: Faithful Rounding., , and . SIAM J. Sci. Comput., 31 (1): 189-224 (2008)09471 Abstracts Collection - Computer-assisted proofs - tools, methods and applications., , , and . Computer-assisted proofs - tools, methods and applications, volume 09471 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)Error-free transformation of matrix multiplication with a posteriori validation., , and . Numerical Lin. Alg. with Applic., 23 (5): 931-946 (2016)Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape., and . SIAM J. Numerical Analysis, 51 (3): 1634-1654 (2013)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)