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 89 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 196 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 193 plays