The following pages link to Masahide Kashiwagi (Q861889):
Displayed 9 items.
- Existence test for solution of nonlinear systems applying affine arithmetic (Q861890) (← links)
- A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems (Q2048421) (← links)
- Verified Computations for Hyperbolic 3-Manifolds (Q2801070) (← links)
- (Q4705630) (← links)
- (Q4705631) (← links)
- Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents (Q5075720) (← links)
- Large-Scale Scientific Computing (Q5426133) (← links)
- Numerical Analysis and Its Applications (Q5710605) (← links)
- Rigorous numerical enclosures for positive solutions of Lane-Emden's equation with sub-square exponents (Q6275607) (← links)