Completed
Tactic Part 1: Eisenstein Lower Bounds
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Computer-Assisted Proofs in the Arithmetic of Quadratic Forms - IPAM at UCLA
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Overview
- 3 Definitions of Quadratic Forms
- 4 Equivalence of Quadratic Forms
- 5 Classical Questions in Quadratic Forms
- 6 Numbers Represented by a (PDIV) QF
- 7 General Local-Global Principle
- 8 Quantitative Local-Global and Siegel's Formula
- 9 Understanding Theta Series Coefficients
- 10 Modular Forms
- 11 Tactic Part 1: Eisenstein Lower Bounds
- 12 Cusp Form Upper Bounds
- 13 Tactic Part 3: Finite Enumeration
- 14 4. Ingredients in a Formal proof of Q(Z)?
