## Numerical methods for spectral problems: theory and applications

P000030

### Computer-assisted existence and multiplicity proofs for semilinear problems on bounded and unbounded domains

*Michael Plum (Karlsruher Institut für Technologie)

Math formula preview: