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

Jonathan Wunderlich Michael Plum

Published in: Acta Cybern. (2020)

Keyphrases

computer assisted
computer aided
distance transform
management system
intraoperative
grade students
vocabulary learning
machine learning
image analysis
multi dimensional
distributed systems
closed form