_id,doi,title 2760,10.1090/S0894-0347-09-00635-3,Rigorous derivation of the gross-pitaevskii equation with a large interaction potential