Search for tag: "assumption"

Thumbnail for entry cos326-2020-13-02-rep-inv-set

13:10

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

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

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

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

cos326
invariant
representation
module
proof
values
input
obligation
operation
assumption
output
size
theorem
property
destructor
branch
l.
function
operations
sets
elements
From  Daniel Macleod 0 likes 204 plays
Date
August 16th, 2020
Speaker
David Walker
Department
COS
Location
Princeton NJ
Thumbnail for entry A Simplified Approach to Interacting Bose Gases_Ian Jauslin

01:07:54

A Simplified Approach to Interacting Bose…

A Simplified Approach to Interacting Bose Gases_Ian Jauslin

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…

mathematics
physics
bose gases
captions_7_29_2020
equation
energy
ground
function
density
rho
gas
bose
potential
times
solution
thing
g2
particles
fact
assumption
term
fourier
dimensions
assumptions
pilot_captioned
From  Julio Lopez 0 likes 37 plays