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

GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
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
More info on how stats are collected.
Indexed in
Publication date:
December 23, 2018
DOI:
10.5281/zenodo.2539422

Zenodo DOI Badge

DOI 

10.5281/zenodo.2539422

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.2539422.svg)](https://doi.org/10.5281/zenodo.2539422)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.2539422.svg
   :target: https://doi.org/10.5281/zenodo.2539422

HTML 

<a href="https://doi.org/10.5281/zenodo.2539422"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.2539422.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.2539422.svg

Target URL 

https://doi.org/10.5281/zenodo.2539422

Keyword(s):
Factor Bounds Hensel Lifting Isabelle/HOL Local Type Definitions Polynomial Factorization Theorem Proving
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 3 10.5281/zenodo.3247727 Dec 23, 2018
Version 2 10.5281/zenodo.2539422 Dec 23, 2018
Version 1 10.5281/zenodo.2525351 Dec 23, 2018
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.2525350. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export