HomeIsabelle/Phabricator
Diffusion afp-devel ebe38e23240d

new entry: Finite_Fields
ebe38e23240d
Actions

Description

new entry: Finite_Fields

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP8166a1ff352e: sitegen for DPRM_Theorem
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPebe38e23240d: new entry: Finite_Fields.Jun 16 2022, 8:51 AM

Changes (15)

PathSize

rAFPebe38e23240d

View Options

thys/Finite_Fields/Card_Irreducible_Polynomials.thy

Loading...
View Options

thys/Finite_Fields/Card_Irreducible_Polynomials_Aux.thy

Loading...
View Options

thys/Finite_Fields/Finite_Fields_Factorization_Ext.thy

Loading...
View Options

thys/Finite_Fields/Finite_Fields_Isomorphic.thy

Loading...
View Options

thys/Finite_Fields/Finite_Fields_Preliminary_Results.thy

Loading...
View Options

thys/Finite_Fields/Formal_Polynomial_Derivatives.thy

Loading...
View Options

thys/Finite_Fields/Monic_Polynomial_Factorization.thy

Loading...
View Options

thys/Finite_Fields/ROOT

Loading...
View Options

thys/Finite_Fields/Ring_Characteristic.thy

Loading...
View Options

thys/Finite_Fields/document/root.bib

Loading...
View Options

thys/Finite_Fields/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...