The following pages link to Shin'ichi Oishi (Q171503):
Displaying 37 items.
- Bilinearization of the Painlevé equations (Q2801525) (← links)
- Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator (Q2807837) (← links)
- Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval (Q2807839) (← links)
- Interval arithmetic and its implementations (Q2818510) (← links)
- Efficient calculations of faithfully rounded \(l_2\)-norms of \(n\)-vectors (Q2828148) (← links)
- Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape (Q2845606) (← links)
- Numerical inclusion of optimum point for linear programming (Q2858133) (← links)
- Tight and efficient enclosure of matrix multiplication by using optimized BLAS. (Q2889382) (← links)
- Error‐free transformation of matrix multiplication with a posteriori validation (Q2955990) (← links)
- Numerical verification of positiveness for solutions to semilinear elliptic problems (Q3121396) (← links)
- (Q3324355) (← links)
- Accurate Floating-Point Summation Part II: Sign, <i>K</i>-Fold Faithful and Rounding to Nearest (Q3558689) (← links)
- (Q4329947) (← links)
- (Q4329960) (← links)
- Stability of Synchronized States in One Dimensional Networks of Second Order PLLS (Q4374524) (← links)
- (Q4438141) (← links)
- (Q4520738) (← links)
- (Q4520741) (← links)
- (Q4703996) (← links)
- (Q4705631) (← links)
- (Q4705633) (← links)
- (Q4705635) (← links)
- (Q4935114) (← links)
- Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents (Q5075720) (← links)
- (Q5188261) (← links)
- Accurate Floating-Point Summation Part I: Faithful Rounding (Q5189669) (← links)
- Tight Enclosures of Solutions of Linear Systems (Q5298678) (← links)
- Discretization Principles for Linear Two-Point Boundary Value Problems, III (Q5302577) (← links)
- Numerical Software with Result Verification (Q5308343) (← links)
- A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory (Q5347528) (← links)
- Discretization Principles for Linear Two-Point Boundary Value Problems, II (Q5450507) (← links)
- Computer Algebra in Scientific Computing (Q5479246) (← links)
- Accurate Sum and Dot Product (Q5693174) (← links)
- Fast enclosure of matrix eigenvalues and singular values via rounding mode controlled computation (Q5929749) (← links)
- Lower bounds for the smallest singular values of generalized asymptotic diagonal dominant matrices (Q6072370) (← links)
- Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems (Q6326587) (← links)
- A note on Oishi’s lower bound for the smallest singular value of linearized Galerkin equations (Q6498441) (← links)
