1. Formalizing Galois Theory
- Author
-
Patrick Lutz and Thomas L. Browning
- Subjects
Quantitative Biology::Tissues and Organs ,General Mathematics ,Galois theory ,Proof assistant ,Physics::Physics Education ,Mathematics curriculum ,Physics::Fluid Dynamics ,ComputingMilieux_MANAGEMENTOFCOMPUTINGANDINFORMATIONSYSTEMS ,Automated theorem proving ,TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES ,Software_SOFTWAREENGINEERING ,ComputingMilieux_COMPUTERSANDEDUCATION ,Calculus ,ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS ,Field theory (psychology) ,Physics::Chemical Physics ,Formal verification ,Mathematics - Abstract
We describe a project to formalize Galois theory using the Lean theorem prover, which is part of a larger effort to formalize all of the standard undergraduate mathematics curriculum in Lean. We di...
- Published
- 2021
- Full Text
- View/download PDF