A Formalization of Berlekamp's Factorization Algorithm
Authors:
- Divasón, Jose
- Joosten, Sebastiaan J. C.
- Thiemann, René
- Yamada, Akihisa
Published in: Isabelle Workshop
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}
}