Computer-Assisted Proofs in the Arithmetic of Quadratic Forms - IPAM at UCLA
Institute for Pure & Applied Mathematics (IPAM) via YouTube
Overview
Syllabus
Intro
Overview
Definitions of Quadratic Forms
Equivalence of Quadratic Forms
Classical Questions in Quadratic Forms
Numbers Represented by a (PDIV) QF
General Local-Global Principle
Quantitative Local-Global and Siegel's Formula
Understanding Theta Series Coefficients
Modular Forms
Tactic Part 1: Eisenstein Lower Bounds
Cusp Form Upper Bounds
Tactic Part 3: Finite Enumeration
4. Ingredients in a Formal proof of Q(Z)?
Taught by
Institute for Pure & Applied Mathematics (IPAM)