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 条

[41] Some Aspects and Applications of the Riemann Hypothesis over Finite Fields
E. Kowalski
Milan Journal of Mathematics, 2010, 78 : 179 - 220
[42] A note on complete polynomials over finite fields and their applications in cryptography
Muratovic-Ribic, Amela
Pasalic, Enes
FINITE FIELDS AND THEIR APPLICATIONS, 2014, 25 : 306 - 315
[43] A new characterization of dual bases in finite fields and its applications
Cao, Wei
Sun, Qi
DISCRETE APPLIED MATHEMATICS, 2007, 155 (17) : 2236 - 2241
[44] Power sums of polynomials over finite fields and applications: A survey
Thakur, Dinesh S.
FINITE FIELDS AND THEIR APPLICATIONS, 2015, 32 : 171 - 191
[45] The graph structure of Chebyshev polynomials over finite fields and applications
Claudio Qureshi
Daniel Panario
Designs, Codes and Cryptography, 2019, 87 : 393 - 416
[46] Efficient Software-Implementation of Finite Fields with Applications to Cryptography
Jorge Guajardo
Sandeep S. Kumar
Christof Paar
Jan Pelzl
Acta Applicandae Mathematica, 2006, 93 : 3 - 32
[47] Some representation techniques for stochastic fields in finite element applications
Spanos, PD
APPLICATIONS OF STATISTICS AND PROBABILITY: CIVIL ENGINEERING RELIABILITY AND RISK ANALYSIS, VOL 3 - FINAL REPORT, 1996, : 1385 - 1386
[48] Geometry of classical groups over finite fields and its applications
Wan, ZX
DISCRETE MATHEMATICS, 1997, 174 (1-3) : 365 - 381
[49] The functional graph of linear maps over finite fields and applications
Panario, Daniel
Reis, Lucas
DESIGNS CODES AND CRYPTOGRAPHY, 2019, 87 (2-3) : 437 - 453
[50] The functional graph of linear maps over finite fields and applications
Daniel Panario
Lucas Reis
Designs, Codes and Cryptography, 2019, 87 : 437 - 453

← 1 2 3 4 5 →