Wunderlich, Jonathan, and Michael Plum. 2020. “Computer-Assisted Existence Proofs for One-Dimensional Schrödinger-Poisson Systems”. Acta Cybernetica 24 (3), 373-91. https://doi.org/10.14232/actacyb.24.3.2020.6.