Numerical verification for solutions to partial differential equations
From MaRDI portal
Publication:4568286
Recommendations
- A posteriori existence in numerical computations
- A posteriori estimates for partial differential equations
- Numerical verification methods and computer-assisted proofs for partial differential equations
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- An efficient approach to the numerical verification for solutions of elliptic differential equations
Cites work
- 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 3933857 (Why is no real title available?)
- scientific article; zbMATH DE number 3520921 (Why is no real title available?)
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
- A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
- A constructive a priori error estimation for finite element discretizations in a non-convex domain using singular functions
- A numerical approach to the proof of existence of solutions for elliptic problems
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
- A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
- A numerical verification method of solutions for the Navier-Stokes equations
- A numerical verification of nontrivial solutions for the heat convection problem
- A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations
- An efficient approach to the numerical verification for solutions of elliptic differential equations
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems
- Computer-assisted enclosure methods for elliptic differential equations
- Constructive a priori error estimates for a full discrete approximation of the heat equation
- Determination of the Babuska-Aziz constant for the linear triangular finite element
- Eigenvalue excluding for perturbed-periodic one-dimensional Schrödinger operators
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- Integration of dissipative partial differential equations: a case study
- Introduction to Interval Analysis
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation
- Numerical verification of solutions for elasto-plastic torsion problems
- Numerical verification of solutions for variational inequalities
- Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points
- Numerical verification of stationary solutions for Navier-Stokes problems
- Numerical verifications for eigenvalues of second-order elliptic operators
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains
- Numerical verifications of solutions for nonlinear elliptic equations
- On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems
- On inequalities of Korn, Friedrichs and Babuska-Aziz
- On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
- Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
- Validated Continuation for Equilibria of PDEs
- Verification methods: rigorous results using floating-point arithmetic
- Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria
- Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains
- Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
Cited in
(13)- Numerical verification methods for differential equations: computer-assisted proofs based on infinite dimensional sequential iteration
- Numerical Verification of the Hasselmann equation
- Numerical verification of solutions for variational inequalities
- A posteriori existence in numerical computations
- Numerical verification of solutions of Nekrasov's integral equation
- scientific article; zbMATH DE number 5071015 (Why is no real title available?)
- Accuracy verification methods. Theory and algorithms
- Verification of a Numerical Solution to a Collocation Problem
- Numerical validation for systems of absolute value equations
- A multilevel method for solution verification
- The problem of checking and correction of numerical results for differential equations, and methods for its solution
- Numerical verification of solutions for a simplified Signorini problem
- scientific article; zbMATH DE number 6467181 (Why is no real title available?)
This page was built for publication: Numerical verification for solutions to partial differential equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4568286)
