There is a newer version of this record available.

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 474199
Downloads 7830
Data volume 380.9 MB17.0 MB
Unique views 357166
Unique downloads 7129

Share

Cite as