The Factorization Algorithm of Berlekamp and Zassenhaus

Jose Divasón, Sebastiaan Joosten, René Thiemann, Akihisa Yamada 0002. The Factorization Algorithm of Berlekamp and Zassenhaus. Archive of Formal Proofs, 2016, 2016. [doi]

Authors

Jose Divasón

This author has not been identified. Look up 'Jose Divasón' in Google

Sebastiaan Joosten

This author has not been identified. Look up 'Sebastiaan Joosten' in Google

René Thiemann

This author has not been identified. Look up 'René Thiemann' in Google

Akihisa Yamada 0002

This author has not been identified. Look up 'Akihisa Yamada 0002' in Google