Pages that link to "Item:Q411417"
From MaRDI portal
The following pages link to On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems (Q411417):
Displayed 8 items.
- A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations (Q654785) (← 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)
- Error constants for the semi-discrete Galerkin approximation of the linear heat equation (Q2233972) (← 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 for solutions to partial differential equations (Q4568286) (← links)
- A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory (Q5347528) (← links)