Photo from archive.org
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… Click to show full abstract
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 , with coefficients over a finite fields.
Keywords:
fields applications;
classification finite;
finite fields
Journal Title: Journal of Automated Reasoning
Year Published: 2018
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Journal of Automated Reasoning
Year Published: 2018
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!