Formalization of Prime Representing Polynomial in Mizar (short paper).

Published in: CICM Workshops (2021)

Keyphrases

computer assisted
knowledge representation
machine learning
artificial intelligence
decision making
database systems
formal representation
data mining
pairwise
formal model
boolean functions
low order