Skip to Content

A Formalization of Berlekamp's Factorization Algorithm

Posted on

Authors:

  • Divasón, Jose
  • Joosten, Sebastiaan J. C.
  • Thiemann, René
  • Yamada, Akihisa

Published in: Isabelle Workshop

Paper

BibTeX entry:

@inproceedings{Divason16,
 author = {Divas{\'o}n, Jose and Joosten, Sebastiaan Jozef Christiaan and Thiemann, Ren{\'e} and Yamada, Akihisa},
 booktitle = {Isabelle Workshop},
 month = {August},
 title = {A Formalization of Berlekamp's Factorization Algorithm},
 year = {2016}
}