Computer assisted proofs for spectral problems

MaRDI QIDQ5188260zbMATH OpenFDO

Authors Kaori Nagatou

Publication date 10 March 2010

zbMATH Keywords

computed error boundscomputer-assisted proofseigenvectorsguaranteed bounds for eigenvaluesnumerical verification methodsSobolev space

Mathematics Subject Classification ID

Spectrum, resolvent (47A10) Algorithms with automatic result verification (65G20) Numerical solutions to equations with linear operators (65J10)

Recommendations

• Numerical verification methods and computer-assisted proofs for partial differential equations
• Numerical verification method for infinite dimensional eigenvalue problems
• Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
• Computer-assisted proofs for semilinear elliptic boundary value problems
• Numerical verification methods for differential equations: computer-assisted proofs based on infinite dimensional sequential iteration

Cited in

(7)

• Computer-assisted proofs in analysis
• Calculating proofs on a computer in studies of the properties of linear mappings in finite-dimensional spaces
• scientific article; zbMATH DE number 4108029 (Why is no real title available?)
• scientific article; zbMATH DE number 67122 (Why is no real title available?)
• Computer assisted studies in fluid mechanics and spectral geometry
• A proof via finite elements for Schiffer's conjecture on a regular pentagon
• Numerical verification method for infinite dimensional eigenvalue problems

This page was built for publication: Computer assisted proofs for spectral problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5188260)