The Gross–Pitaevskii equation can also be derived as the semi-classical limit of the many body theory of s-wave interacting identical bosons represented in terms of coherent states. The semi-classical limit is reached for a large number of quanta, expressing the field theory either in the positive-P representation (generalised Glauber-Sudarshan P representation) or Wigner representation.