Search for tag: "equation"

cos326-2020-17-03-type-inference-1

Type Checking: Part 3: Type Inference (Simple Types)

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

cos326-2020-08-03-induction-lists

Did I Get it Right? Part 3: Induction for Lists

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

cos326-2020-08-01-simple-proofs

Did I Get it Right? Part 1: Simple Proofs

From  Daniel Macleod on August 16th, 2020 0 likes 191 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 34 plays