Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems

DOI10.14232/actacyb.24.3.2020.6zbMath1463.35209WikidataQ113744340 ScholiaQ113744340MaRDI QIDQ5126109

Michael Plum, Jonathan Wunderlich

Publication date: 2 October 2020

Published in: Acta Cybernetica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14232/actacyb.24.3.2020.6

zbMATH Keywords

existence; computer-assisted proof; enclosure; Schrödinger-Poisson system

Mathematics Subject Classification ID

68T05: Learning and adaptive systems in artificial intelligence

35J10: Schrödinger operator, Schrödinger equation