A formalization of the Berlekamp-Zassenhaus factorization algorithm.

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

Published in: CPP (2017)

Keyphrases

formal model
knowledge representation
databases
information retrieval
artificial intelligence
machine learning
training data
bayesian networks
learning process
rough sets
software development
logical framework
operational semantics
logical language