Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

DOI10.1007/978-981-13-7669-6zbMath1462.65004MaRDI QIDQ5380617

Michael Plum, Yoshitaka Watanabe, Mitsuhiro T. Nakao

Publication date: 5 June 2019

Published in: Springer Series in Computational Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-981-13-7669-6

zbMATH Keywords

partial differential equations; a priori error estimates; computer-assisted proofs; finite element approximations; eigenvalue bounds; existence of a solution; verified computation of solutions

Mathematics Subject Classification ID

35J25: Boundary value problems for second-order elliptic equations

35P15: Estimates of eigenvalues in context of PDEs

65-02: Research exposition (monographs, survey articles) pertaining to numerical analysis

65G20: Algorithms with automatic result verification

35-02: Research exposition (monographs, survey articles) pertaining to partial differential equations

65Mxx: Numerical methods for partial differential equations, initial value and time-dependent initial-boundary value problems

65Nxx: Numerical methods for partial differential equations, boundary value problems