Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems. - Jonathan Wunderlich; Michael Plum (Acta Cybern., 2020)