Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Jose Divasón, Sebastiaan Joosten, René Thiemann, Akihisa Yamada 0002. The Factorization Algorithm of Berlekamp and Zassenhaus. Archive of Formal Proofs, 2016, 2016. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: A formalization of the Berlekamp-Zassenhaus factorization algorithmJose Divasón, Sebastiaan Joosten, René Thiemann, Akihisa Yamada 0002. CPP 2017: 17-29 [doi] A Verified Implementation of the Berlekamp-Zassenhaus Factorization AlgorithmJose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada 0002. JAR, 64(4):699-735, 2020. [doi]
The following publications are possibly variants of this publication: