Verified Numerical Computations for an Inverse Elliptic Eigenvalue Problem with Finite Data

Mathematics

• Enclosure 100%
• Elliptic Problems 73%
• Eigenvalue Problem 69%
• Dirichlet Eigenvalues 52%
• Eigenvalue 50%
• Interval Arithmetic 50%
• Potential Function 43%
• Elliptic Operator 38%
• Error Bounds 36%
• Dirichlet Problem 35%
• Fixed point theorem 31%
• Numerical Examples 24%

Engineering & Materials Science

• Enclosures 84%