Pages that link to "Item:Q1334781"
From MaRDI portal
The following pages link to On computational proofs of the existence of solutions to nonlinear parabolic problems (Q1334781):
Displaying 6 items.
- Solving nonlinear parabolic problems with result verification. I: One- space dimensional case (Q1184131) (← links)
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element (Q1900766) (← links)
- Finite element approximation of invariant manifolds by the parameterization method (Q2098090) (← links)
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← links)
- A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory (Q5347528) (← links)
- Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations (Q5949506) (← links)
