The following pages link to (Q5747913):
Displaying 14 items.
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration (Q671009) (← links)
- Numerical verification for existence of a global-in-time solution to semilinear parabolic equations (Q729841) (← links)
- Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model (Q785373) (← links)
- A numerical verification method for two-coupled elliptic partial differential equations (Q849177) (← links)
- Solving nonlinear parabolic problems with result verification. I: One- space dimensional case (Q1184131) (← links)
- A numerical verification method for the existence of weak solutions for nonlinear boundary value problems (Q1193173) (← links)
- On computational proofs of the existence of solutions to nonlinear parabolic problems (Q1334781) (← links)
- Numerical verifications of solutions for nonlinear parabolic equations in one-space dimensional case (Q1362914) (← links)
- Numerical verification of solutions for nonlinear hyperbolic equations (Q1375852) (← links)
- Rigorous numerical verification of uniqueness and smoothness in a surface growth model (Q2345484) (← links)
- On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems (Q2454037) (← links)
- Numerical verification method for solutions of nonlinear hyperbolic equations (Q2738490) (← links)
- Numerical Verification of Solutions for Nonlinear Parabolic Problems (Q5118178) (← links)
- A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory (Q5347528) (← links)
