Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations (Q5380617)
From MaRDI portal
scientific article; zbMATH DE number 7063008
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations |
scientific article; zbMATH DE number 7063008 |
Statements
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations (English)
0 references
5 June 2019
0 references
computer-assisted proofs
0 references
verified computation of solutions
0 references
existence of a solution
0 references
partial differential equations
0 references
finite element approximations
0 references
eigenvalue bounds
0 references
a priori error estimates
0 references
