Classification of finite fields with applications
DOI10.1007/s10817-018-9485-1zbMath1468.68317OpenAlexW2898449982MaRDI QIDQ2323448
Michael Norrish, Hing-Lun Chan
Publication date: 2 September 2019
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-018-9485-1
ringexistenceuniquenesstheorem provingfinite fieldcyclotomic polynomialsisomorphismgroupminimal polynomialsmonoidfieldsubfieldformalisationHOL4primitivesextension fieldquotient field
Finite fields (field-theoretic aspects) (12E20) Formalization of mathematics in connection with theorem provers (68V20) Finite fields and commutative rings (number-theoretic aspects) (11Txx)
Related Items (1)
Uses Software
Cites Work
- Röver's simple group is of type \(F_\infty\)
- Verification of the Miller-Rabin probabilistic primality test.
- A course in error-correcting codes.
- Formalization of definitions and theorems related to an elliptic curve over a finite prime field by using Mizar
- A verified implementation of the Berlekamp-Zassenhaus factorization algorithm
- Algebraic Numbers in Isabelle/HOL
- A Formal Library for Elliptic Curves in the Coq Proof Assistant
- A Classical Introduction to Galois Theory
- Construction of Real Algebraic Numbers in Coq
- Linear Algebra Done Right
- Mechanisation of AKS Algorithm: Part 1 – The Main Theorem
- Primality Proving with Elliptic Curves
- A String of Pearls: Proofs of Fermat’s Little Theorem
- Canonical Structures for the Working Coq User
- A Machine-Checked Proof of the Odd Order Theorem
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Classification of finite fields with applications
