@misc{indiciae451e3138cbfd,
  title = {Bosons in a Trap: A Rigorous Derivation of the Gross-Pitaevskii Energy Functional},
  author = {Elliott H. Lieb and Robert Seiringer and Jakob Yngvason},
  year = {1999},
  doi = {10.1103/physreva.61.043602},
  url = {https://arxiv.org/abs/math-ph/9908027},
  note = {Source identifier: math-ph/9908027}
}