Shin'ichi Oishi
According to our database1,
Shin'ichi Oishi
authored at least 62 papers
between 1985 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Polygonal Sequence-driven Triangulation Validator: An Incremental Approach to 2D Triangulation Verification.
CoRR, 2024
2022
Numerical verification for asymmetric solutions of the Hénon equation on bounded domains.
J. Comput. Appl. Math., 2022
Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains.
Commun. Nonlinear Sci. Numer. Simul., 2022
Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems.
Comput. Math. Appl., 2022
2021
Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation.
J. Sci. Comput., 2021
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.
Numerische Mathematik, 2020
J. Comput. Appl. Math., 2020
J. Comput. Appl. Math., 2020
Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations.
CoRR, 2020
Numerical verification for asymmetric solutions of the Hénon equation on the unit square.
CoRR, 2020
2019
A new formulation for the numerical proof of the existence of solutions to elliptic problems.
CoRR, 2019
Proceedings of the Art of High Performance Computing for Computational Science, 2019
2017
A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory.
SIAM J. Numer. Anal., 2017
A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems.
Numer. Algorithms, 2017
Sharp numerical inclusion of the best constant for embedding on bounded convex domain.
J. Comput. Appl. Math., 2017
J. Comput. Appl. Math., 2017
Numerical verification for existence of a global-in-time solution to semilinear parabolic equations.
J. Comput. Appl. Math., 2017
2016
Numer. Linear Algebra Appl., 2016
2015
Efficient Calculations of Faithfully Rounded <i>l</i><sub>2</sub>-Norms of <i>n</i>-Vectors.
ACM Trans. Math. Softw., 2015
Numerical verification of positiveness for solutions to semilinear elliptic problems.
JSIAM Lett., 2015
J. Comput. Appl. Math., 2015
Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval.
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015
Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator.
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015
2013
Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape.
SIAM J. Numer. Anal., 2013
Reliab. Comput., 2013
Proceedings of the 21st European Conference on Circuit Theory and Design, 2013
2012
Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications.
Numer. Algorithms, 2012
J. Comput. Appl. Math., 2012
Inf. Comput., 2012
Proceedings of the Computer Mathematics, 2012
2011
Numer. Linear Algebra Appl., 2011
An algorithm for automatically selecting a suitable verification method for linear systems.
Numer. Algorithms, 2011
Proceedings of the 20th European Conference on Circuit Theory and Design, 2011
2010
Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems.
Reliab. Comput., 2010
2009
Error free transformations of floating point numbers and its applications to constructing efficient error free numerical algorithms.
Proceedings of the Symbolic Numeric Computation, 2009
09471 Executive Summary - Computer-assisted proofs - tools, methods and applications.
Proceedings of the Computer-assisted proofs - tools, methods and applications, 15.11., 2009
09471 Abstracts Collection - Computer-assisted proofs - tools, methods and applications.
Proceedings of the Computer-assisted proofs - tools, methods and applications, 15.11., 2009
2008
Accurate Floating-Point Summation Part II: Sign, K-Fold Faithful and Rounding to Nearest.
SIAM J. Sci. Comput., 2008
SIAM J. Sci. Comput., 2008
2006
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006
2005
05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs.
Proceedings of the Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005
05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs.
Proceedings of the Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005
Proceedings of the Computer Algebra in Scientific Computing, 8th International Workshop, 2005
2004
On necessary and sufficient conditions for numerical verification of double turning points.
Numerische Mathematik, 2004
Numerical Verification of Solutions of Periodic Integral Equations with a Singular Kernel.
Numer. Algorithms, 2004
IEICE Trans. Inf. Syst., 2004
2003
Computation of Sharp Rigorous Componentwise Error Bounds for the Approximate Solutions of Systems of Linear Equations.
Reliab. Comput., 2003
Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies.
Proceedings of the Numerical Software with Result Verification, 2003
2002
1998
Numerical Verification Method of Existence of Connecting Orbits for Continuous Dynamical Systems.
J. Univers. Comput. Sci., 1998
Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy.
J. Univers. Comput. Sci., 1998
1995
Proceedings of the 1995 IEEE International Symposium on Circuits and Systems, ISCAS 1995, Seattle, Washington, USA, April 30, 1995
1985
A PL homotopy continuation method with the use of an odd map for the artificial level.
Math. Program., 1985