The following pages link to Shin'ichi Oishi (Q171503):
Displaying 50 items.
- Simple floating-point filters for the two-dimensional orientation problem (Q291919) (← links)
- Numerical validation of blow-up solutions of ordinary differential equations (Q345956) (← links)
- An algorithm for automatically selecting a suitable verification method for linear systems (Q633151) (← links)
- Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications (Q662894) (← links)
- (Q714615) (redirect page) (← links)
- A robust algorithm for geometric predicate by error-free determinant transformation (Q714616) (← links)
- Numerical verification for existence of a global-in-time solution to semilinear parabolic equations (Q729841) (← links)
- Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain (Q730551) (← links)
- A note on Dekker's FastTwoSum algorithm (Q777498) (← links)
- Fast verified solutions of linear systems (Q849174) (← links)
- Adaptive and efficient algorithm for 2D orientation problem (Q849176) (← links)
- Numerical existence proof of five solutions for certain two-transistor circuit equations (Q849185) (← links)
- Iterative refinement for ill-conditioned linear systems (Q849192) (← links)
- A method of obtaining verified solutions for linear systems suited for Java (Q861896) (← links)
- On three theorems of Lees for numerical treatment of semilinear two-point boundary value problems (Q862097) (← links)
- Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator (Q896526) (← links)
- (Q1348934) (redirect page) (← links)
- Fast verification of solutions of matrix equations (Q1348935) (← links)
- Computation of sharp rigorous componentwise error bounds for the approximate solutions of systems of linear equations (Q1398048) (← links)
- Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains (Q1684618) (← links)
- On necessary and sufficient conditions for numerical verification of double turning points (Q1889957) (← links)
- Numerical verification of existence and inclusion of solutions for nonlinear operator equations (Q1900759) (← links)
- Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations (Q2044142) (← links)
- A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems (Q2048421) (← links)
- Numerical verification for asymmetric solutions of the Hénon equation on bounded domains (Q2050927) (← links)
- Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems (Q2074125) (← links)
- Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains (Q2076252) (← links)
- Rigorous numerical inclusion of the blow-up time for the Fujita-type equation (Q2111578) (← links)
- 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 (Q2217873) (← links)
- Error constants for the semi-discrete Galerkin approximation of the linear heat equation (Q2233972) (← links)
- Convergence analysis of an algorithm for accurate inverse Cholesky factorization (Q2257609) (← links)
- Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation (Q2257618) (← links)
- Modified error bounds for approximate solutions of dense linear systems (Q2293605) (← links)
- Numerical inclusion of exact periodic solutions for time delay Duffing equation (Q2297166) (← links)
- Improvement of error-free splitting for accurate matrix multiplication (Q2349545) (← links)
- Self-synchronization of coupled oscillators with hysteretic responses (Q2364963) (← links)
- Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices (Q2372948) (← links)
- Numerical verification of solutions of periodic integral equations with a singular kernel (Q2387777) (← links)
- A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems (Q2408147) (← links)
- Fast algorithms for floating-point interval matrix multiplication (Q2428100) (← links)
- Guaranteed high-precision estimation for \(P_0\) interpolation constants on triangular finite elements (Q2452280) (← links)
- Fast inclusion of interval matrix multiplication (Q2484077) (← links)
- Numerical verification of solutions of Nekrasov's integral equation (Q2487205) (← links)
- A mathematical theory for numerical treatment of nonlinear two-point boundary value problems (Q2493487) (← links)
- (Q2765620) (← links)
- High-Precision Eigenvalue Bound for the Laplacian with Singularities (Q2799568) (← links)
- Verified Computations for Hyperbolic 3-Manifolds (Q2801070) (← links)
- Relationship between Hirota's method and the inverse spectral method -- the Korteweg-de Vries equation's case (Q2801450) (← links)
- A method of constructing generalized soliton solutions for certain bilinear soliton equations (Q2801456) (← links)
- The Korteweg-de Vries equation under slowly decreasing boundary condition (Q2801472) (← links)
