Login / Signup
A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm.
Jose Divasón
Sebastiaan J. C. Joosten
René Thiemann
Akihisa Yamada
Published in:
J. Autom. Reason. (2020)
Keyphrases
</>
efficient implementation
databases
implementation details
web pages
high level
computational complexity
end users
implementation issues