Changes

Summary

New article Berlekamp_Zassenhaus

Changeset 7181:145a4e61a8c4 by nipkow: New article Berlekamp_Zassenhaus
The file was added	`thys/Berlekamp_Zassenhaus/Arithmetic_Record_Based.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Berlekamp_Hensel.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Berlekamp_Record_Based.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Berlekamp_Type_Based.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Berlekamp_Zassenhaus.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Chinese_Remainder_Poly.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Code_Abort_Gcd.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Degree_Bound.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Factor_Bound.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Factorize_Int_Poly.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Factorize_Rat_Poly.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Finite_Field.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Finite_Field_Record_Based.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Hensel_Lifting.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Hensel_Lifting_Type_Based.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Matrix_Record_Based.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Poly_Mod.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Poly_Mod_Finite_Field.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Poly_Mod_Finite_Field_Record_Based.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Polynomial_Record_Based.thy`
The file was added	`thys/Berlekamp_Zassenhaus/ROOT`
The file was added	`thys/Berlekamp_Zassenhaus/Reconstruction.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Square_Free_Factorization_Int.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Square_Free_Int_To_Square_Free_GFp.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Sublist_Iteration.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Suitable_Prime.thy`
The file was added	`thys/Berlekamp_Zassenhaus/Tests.thy`
The file was added	`thys/Berlekamp_Zassenhaus/document/root.bib`
The file was added	`thys/Berlekamp_Zassenhaus/document/root.tex`
The file was added	`web/entries/Berlekamp_Zassenhaus.shtml`
The file was modified	`metadata/metadata` (diff)
The file was modified	`thys/ROOTS` (diff)
The file was modified	`web/entries/Algebraic_Numbers.shtml` (diff)
The file was modified	`web/entries/Containers.shtml` (diff)
The file was modified	`web/entries/Efficient-Mergesort.shtml` (diff)
The file was modified	`web/entries/Jordan_Normal_Form.shtml` (diff)
The file was modified	`web/entries/Perron_Frobenius.shtml` (diff)
The file was modified	`web/entries/Polynomial_Factorization.shtml` (diff)
The file was modified	`web/entries/Polynomial_Interpolation.shtml` (diff)
The file was modified	`web/entries/Show.shtml` (diff)
The file was modified	`web/entries/Sqrt_Babylonian.shtml` (diff)
The file was modified	`web/index.shtml` (diff)
The file was modified	`web/topics.shtml` (diff)