Software Open Access
A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm, supporting material
Divasón, Jose;
Joosten, Sebastiaan J. C.;
Thiemann, René;
Yamada, Akihisa
BibTeX Export
@software{divason_jose_2018_2539422,
author = {Divasón, Jose and
Joosten, Sebastiaan J. C. and
Thiemann, René and
Yamada, Akihisa},
title = {{A Verified Implementation of the
Berlekamp–Zassenhaus Factorization Algorithm,
supporting material}},
month = dec,
year = 2018,
publisher = {Zenodo},
doi = {10.5281/zenodo.2539422},
url = {https://doi.org/10.5281/zenodo.2539422}
}
474
78
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 474 | 199 |
| Downloads | 78 | 30 |
| Data volume | 380.9 MB | 17.0 MB |
| Unique views | 357 | 166 |
| Unique downloads | 71 | 29 |
Indexed in
- Publication date:
- December 23, 2018
- DOI:
-
- Keyword(s):
- Factor Bounds Hensel Lifting Isabelle/HOL Local Type Definitions Polynomial Factorization Theorem Proving
- License (for files):
- Creative Commons Attribution 4.0 International