Computer assisted verification of the eigenvalue problem for one-dimensional Schrödinger operator

Mathematics

• Periodic Orbit 100%
• Eigenvalue 100%
• Operators 100%
• Eigenvalue Problems 100%
• Number 50%
• Computational 50%
• Lagrangian 50%
• Integer 50%
• Dynamical System 50%
• Interval Arithmetic 50%
• Hamiltonian Systems 50%
• Projective Space 50%