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

DOI10.14232/ACTACYB.24.3.2020.6zbMath1463.35209OpenAlexW3017222185WikidataQ113744340 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

existencecomputer-assisted proofenclosureSchrödinger-Poisson system

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Schrödinger operator, Schrödinger equation (35J10)

This page was built for publication: Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems