Solving nonlinear parabolic problems with result verification. I: One- space dimensional case
From MaRDI portal
Recommendations
- Numerical verifications of solutions for nonlinear parabolic equations in one-space dimensional case
- Verification of asymptotic solutions for one-dimensional nonlinear parabolic equations
- scientific article; zbMATH DE number 5785599
- Numerical verification of solutions for nonlinear parabolic problems
- scientific article; zbMATH DE number 4092000
- scientific article; zbMATH DE number 4155031
- Solvability of nonlocal parabolic problem with numerical solution
- On computational proofs of the existence of solutions to nonlinear parabolic problems
- scientific article; zbMATH DE number 524105
- Solvability of nonlinear parabolic problems
Cites work
- scientific article; zbMATH DE number 3854346 (Why is no real title available?)
- scientific article; zbMATH DE number 3855012 (Why is no real title available?)
- scientific article; zbMATH DE number 3874497 (Why is no real title available?)
- scientific article; zbMATH DE number 4138299 (Why is no real title available?)
- scientific article; zbMATH DE number 3933857 (Why is no real title available?)
- scientific article; zbMATH DE number 4076496 (Why is no real title available?)
- scientific article; zbMATH DE number 4078657 (Why is no real title available?)
- scientific article; zbMATH DE number 4108029 (Why is no real title available?)
- scientific article; zbMATH DE number 193769 (Why is no real title available?)
- scientific article; zbMATH DE number 3520921 (Why is no real title available?)
- scientific article; zbMATH DE number 3353865 (Why is no real title available?)
- A Posteriori Error Bounds for Two-Point Boundary Value Problems
- A numerical approach to the proof of existence of solutions for elliptic problems
- A numerical approach to the proof of existence of solutions for elliptic problems II
- On the Smoothing Property of the Galerkin Method for Parabolic Equations
- Solving nonlinear systems with least significant bit accuracy
- Structure of the set of stationary solutions of the navier‐stokes equations
- The Arithmetic of the Digital Computer: A New Approach
- Using Interval Methods for the Numerical Solution of ODE's
Cited in
(14)- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems
- Rigorous numerical inclusion of the blow-up time for the Fujita-type equation
- Global dynamics in nonconservative nonlinear Schrödinger equations
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- Constructive error analysis of a full-discrete finite element method for the heat equation
- Numerical verifications of solutions for elliptic equations with strong nonlinearity
- Validated integration of semilinear parabolic PDEs
- A posteriori error bounds for two point boundary value problems: a Green's function approach
- Improvement of the constructive a priori error estimates for a fully discretized periodic solution of heat equation
- On computational proofs of the existence of solutions to nonlinear parabolic problems
- On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems
- Numerical verification of solutions for nonlinear parabolic problems
- Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points
This page was built for publication: Solving nonlinear parabolic problems with result verification. I: One- space dimensional case
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1184131)
