Wunderlich, J. and Plum, M. 2020. Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems. Acta Cybernetica. 24, 3 (Mar. 2020), 373-391. DOI:https://doi.org/10.14232/actacyb.24.3.2020.6.