Search for tag: "equation"

Pursuing the Beauty of Numbers, Evan M. O'Dorney, GS (2306680)

In my work in number theory, I explore patterns in numbers, specifically counting the equations with integer coefficients with a given discriminant. I am studying the Ohno-Nakagawa theorem, a…

From  Research Princeton Research Day on April 29th, 2021 2 likes 55 plays

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

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

From  Daniel Macleod on August 16th, 2020 0 likes 143 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 195 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 192 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