| Tartalom: |
https://cyber.bibl.u-szeged.hu/index.php/actcybern/articl... |
| Archívum: |
Acta Cybernetica |
| Gyűjtemény: |
Uncertainty Modeling, Software, Verified Computing and Optimization
|
| Cím: |
Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems
|
| Létrehozó: |
Wunderlich, Jonathan
Plum, Michael
|
| Kiadó: |
University of Szeged, Institute of Informatics
|
| Dátum: |
2020-03-16
|
| Téma: |
computer-assisted proof
existence
enclosure
Schrödinger-Poisson system
|
| Tartalmi leírás: |
|
| Nyelv: |
angol
|
| Típus: |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
|
| Formátum: |
application/pdf
|
| Azonosító: |
https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4034
10.14232/actacyb.24.3.2020.6
|
| Forrás: |
Acta Cybernetica; Vol 24 No 3 (2020): Special Issue of the 11th Summer Workshop on Interval Methods; 373-391
2676-993X
0324-721X
|
| Kapcsolat: |
https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4034/3993
|
