|
|
|
|
|
|
|
|
|
|
|
Type Checking: Part 3: Type Inference (Simple Types)
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Did I Get it Right? Part 3: Induction for Lists
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Did I Get it Right? Part 1: Simple Proofs
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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…
|
|
|