A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm
Divasón, Jose, Joosten, Sebastiaan J. C., Thiemann, René, Yamada, AkihisaLanguage:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-019-09526-y
Date:
June, 2019
File:
PDF, 619 KB
english, 2019