The following pages link to (Q3340032):
Displayed 30 items.
- Effective error estimates for the numerical solution of Fredholm integral equations (Q582851) (← links)
- Loop invariants in floating point algorithms (Q685861) (← links)
- Numerical verifications of solutions for nonlinear elliptic equations (Q689912) (← links)
- A programmed algorithm for existence proofs for two-point boundary value problems (Q916318) (← links)
- Bounds for the solution of hyperbolic problems (Q1094114) (← links)
- Survey of integral algorithms for ordinary differential equations (Q1122331) (← links)
- Solving nonlinear parabolic problems with result verification. I: One- space dimensional case (Q1184131) (← links)
- Stability analysis of almost sinusoidal periodic oscillations in nonlinear control systems subjected to nonconstant periodic input (Q1188413) (← links)
- Error bounds for the solution of Volterra and delay equations (Q1189137) (← links)
- A numerical verification method for the existence of weak solutions for nonlinear boundary value problems (Q1193173) (← links)
- On a class of enclosure methods for initial value problems (Q1340885) (← links)
- Interval analysis: Theory and applications (Q1587412) (← links)
- Chebyshev model arithmetic for factorable functions (Q1675562) (← links)
- Enclosure of solutions of weakly nonlinear elliptic boundary value problems and their computation (Q1823631) (← links)
- Inclusion of solutions of Darboux problems for quasilinear hyperbolic equations (Q1872950) (← links)
- Numerical verification of existence and inclusion of solutions for nonlinear operator equations (Q1900759) (← links)
- Bounds of high quality for first kind Volterra integral equations (Q1916972) (← links)
- KAM quasi-periodic solutions for the dissipative standard map (Q2060675) (← links)
- Global optimization to prescribed accuracy (Q2277770) (← links)
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← links)
- Rigorous uniform approximation of D-finite functions using Chebyshev expansions (Q2967967) (← links)
- A numerical approach to the proof of existence of solutions for elliptic problems II (Q3204851) (← links)
- A numerical approach to the proof of existence of solutions for elliptic problems (Q3469483) (← links)
- Contributions to computational analysis (Q4206365) (← links)
- Verification methods for fredholm integral equations (Q4285658) (← links)
- Numerical verification for solutions to partial differential equations (Q4568286) (← links)
- Numerical verifications of solutions for elliptic equations with strong nonlinearity (Q4711183) (← links)
- GUARANTEED BOUNDS FOR THE SOLUTION OF THE WAVE EQUATION (Q4886300) (← links)
- Enclosing Chebyshev Expansions in Linear Time (Q4960945) (← links)
- A certificate-based approach to formally verified approximations (Q5875414) (← links)