Search for tag: "assumption"

cos326-2020-13-02-rep-inv-set

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

From  Daniel Macleod on August 16th, 2020 0 likes 199 plays

A Simplified Approach to Interacting Bose Gases_Ian Jauslin

I will discuss some new results about an effective theory introduced by Lieb in 1963 to approximate the ground state energy of interacting Bosons at low density. In this regime, it agrees with the…

From  Julio Lopez on March 5th, 2020 0 likes 35 plays