Pages that link to "Item:Q1184131"
From MaRDI portal
The following pages link to Solving nonlinear parabolic problems with result verification. I: One- space dimensional case (Q1184131):
Displaying 11 items.
- A posteriori error bounds for two point boundary value problems: a Green's function approach (Q317173) (← links)
- On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems (Q411417) (← links)
- On computational proofs of the existence of solutions to nonlinear parabolic problems (Q1334781) (← links)
- Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points (Q1370920) (← links)
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element (Q1900766) (← links)
- Constructive error analysis of a full-discrete finite element method for the heat equation (Q2009472) (← links)
- Global dynamics in nonconservative nonlinear Schrödinger equations (Q2078873) (← links)
- Rigorous numerical inclusion of the blow-up time for the Fujita-type equation (Q2111578) (← links)
- Improvement of the constructive a priori error estimates for a fully discretized periodic solution of heat equation (Q2160296) (← 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 METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← links)
