Wunderlich, Jonathan, and Michael Plum. “Computer-Assisted Existence Proofs for One-Dimensional Schrödinger-Poisson Systems”. Acta Cybernetica 24, no. 3 (March 16, 2020): 373-391. Accessed March 29, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4034.