TY  - RPRT
TI  - Bosons in a Trap: A Rigorous Derivation of the Gross-Pitaevskii Energy Functional
AU  - Elliott H. Lieb
AU  - Robert Seiringer
AU  - Jakob Yngvason
PY  - 1999
DO  - 10.1103/physreva.61.043602
UR  - https://arxiv.org/abs/math-ph/9908027
ID  - math-ph/9908027
ER  -