Search for tag: "assumption"

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

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

From  Daniel Macleod 0 likes 204 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 0 likes 37 plays