Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-2019
Repository
afp-2019
thys
Polynomial_Factorization
Berlekamp_Hensel_Factorization.thy
Find file
Blame
History
Permalink
tuned factorization_f_to_factorization_int by smarter computation of constant coefficient
· 814978743f4e
Rene Thiemann
authored
Feb 12, 2016
814978743f4e