A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm, supporting material

Software OPEN SOURCE
Divasón, Jose; Joosten, Sebastiaan J. C.; Thiemann, René; Yamada, Akihisa;
(2018)
  • Publisher: Zenodo
  • Related identifiers: doi: 10.5281/zenodo.3247727, doi: 10.5281/zenodo.2539422, doi: 10.5281/zenodo.2525351
  • Subject: Factor Bounds | Developmental Biology | Sociology | Isabelle/HOL | Plant Biology | Polynomial Factorization | Local Type Definitions | Cell Biology | Genetics | Biochemistry | Pharmacology | Theorem Proving | Science Policy | Hensel Lifting | Biophysics
    • FOR: 80699 Information Systems not elsewhere classified

<p>This is the supporting material for the paper <em>A Verified Implementation of the Berlekamp&ndash;Zassenhaus Factorization Algorithm</em> by Jose Divas&oacute;n, Sebastiaan Joosten, Ren&eacute; Thiemann and Akihisa Yamada.</p> <p><strong>Abstract</strong></p> ... View more
Share - Bookmark