HomeIsabelle/Phabricator
Diffusion afp-devel 3955c7b38dce

Finite_Fields: Add exectuable algorithms for the construction of (and…
3955c7b38dce
Actions

Description

Finite_Fields: Add exectuable algorithms for the construction of (and calculation in) finite fields.

Details

Provenance
Emin Karayel <me@eminkarayel.de>Authored on
Parents
rAFP4006b1b6291a: Finite Fields: Minor improvements to previous commit.
Branches
Unknown
Tags
Unknown

Changes (20)

PathSize
metadata/
entries/
document/

rAFP3955c7b38dce

View Options

metadata/entries/Finite_Fields.toml

Loading...
View Options

thys/Finite_Fields/Card_Irreducible_Polynomials.thy

Loading...
View Options

thys/Finite_Fields/Find_Irreducible_Poly.thy

Loading...
View Options

thys/Finite_Fields/Finite_Fields_Factorization_Ext.thy

Loading...
View Options

thys/Finite_Fields/Finite_Fields_Indexed_Algebra_Code.thy

Loading...
View Options

thys/Finite_Fields/Finite_Fields_Isomorphic.thy

Loading...
View Options

thys/Finite_Fields/Finite_Fields_Mod_Ring_Code.thy

Loading...
View Options

thys/Finite_Fields/Finite_Fields_More_Bijections.thy

Loading...
View Options

thys/Finite_Fields/Finite_Fields_Poly_Factor_Ring_Code.thy

Loading...
View Options

thys/Finite_Fields/Finite_Fields_Poly_Ring_Code.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/Rabin_Irreducibility_Test.thy

Loading...
View Options

thys/Finite_Fields/Rabin_Irreducibility_Test_Code.thy

Loading...
View Options

thys/Finite_Fields/Ring_Characteristic.thy

Loading...
View Options

thys/Finite_Fields/document/root.tex

Loading...