Formalizing Galois Theory

DOI10.1080/10586458.2021.1986176OpenAlexW3207437697MaRDI QIDQ5094476

Thomas Browning, Patrick Lutz

Publication date: 3 August 2022

Published in: Experimental Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2107.10988

zbMATH Keywords

Galois theoryformal verificationinteractive theorem provingfield theoryLean

Mathematics Subject Classification ID

Computer science (68-XX) Field theory and polynomials (12-XX)

Uses Software

• Isabelle/HOL
• Lean
• mathlib

Cites Work

• Unnamed Item
• Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1--4, 2020. Proceedings. Part I
• The Lean Theorem Prover (System Description)
• A Machine-Checked Proof of the Odd Order Theorem

This page was built for publication: Formalizing Galois Theory