Classification of Finite Fields with Applications

被引：0

作者：

Hing-Lun Chan

Michael Norrish

机构：

[1] Australian National University,

[2] Canberra Research Laboratory,undefined

[3] Data61,undefined

来源：

Journal of Automated Reasoning | 2019年 / 63卷

关键词：

Monoid; Group; Ring; Field; Finite field; Subfield; Quotient field; Extension field; Isomorphism; Minimal polynomials; Cyclotomic polynomials; Primitives; Existence; Uniqueness; Theorem proving; Formalisation; HOL4;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

We present a formalisation of the theory of finite fields, from basic axioms to their classification, both existence and uniqueness, in HOL4 using the notion of subfields. The tools developed are applied to the characterisation of subfields of finite fields, and to the cyclotomic factorisation of polynomials of the form [inline-graphic not available: see fulltext], with coefficients over a finite fields.

引用

页码：667 / 693

页数：26

共 50 条

[1] Classification of Finite Fields with Applications
Chan, Hing-Lun
Norrish, Michael
JOURNAL OF AUTOMATED REASONING, 2019, 63 (03) : 667 - 693
[2] A decade of Finite Fields and Their Applications
Mullen, GL
FINITE FIELDS AND THEIR APPLICATIONS, 2005, 11 (03) : 321 - 325
[3] Applications of Finite Fields to Combinatorics and Finite Geometries
Aiden A. Bruen
Acta Applicandae Mathematica, 2006, 93 : 179 - 196
[4] Applications of finite fields to combinatorics and finite geometries
Bruen, Aiden A.
ACTA APPLICANDAE MATHEMATICAE, 2006, 93 (1-3) : 179 - 196
[5] A survey of some applications of finite fields
Harald Niederreiter
Designs, Codes and Cryptography, 2016, 78 : 129 - 139
[6] A survey of some applications of finite fields
Niederreiter, Harald
DESIGNS CODES AND CRYPTOGRAPHY, 2016, 78 (01) : 129 - 139
[7] Applications of the representation of finite fields by matrices
Kern, E
Mignotte, M
THEORETICAL COMPUTER SCIENCE, 2000, 244 (1-2) : 263 - 265
[8] A second decade of "Finite Fields and Their Applications"
Mullen, Gary L.
FINITE FIELDS AND THEIR APPLICATIONS, 2015, 32 : 1 - 4
[9] CLASSIFICATION OF UNIDIMENSIONAL FORMAL GROUPS ON FINITE FIELDS
KOCH, H
MATHEMATISCHE NACHRICHTEN, 1972, 54 (1-6) : 277 - 283
[10] ATMOSPHERIC EFFECT ON CLASSIFICATION OF FINITE-FIELDS
KAUFMAN, YJ
FRASER, RS
REMOTE SENSING OF ENVIRONMENT, 1984, 15 (02) : 95 - 118

← 1 2 3 4 5 →