Extending Numeric Automation for Number Theory Formalizations in Mizar.

Published in: CICM (2023)

Keyphrases

small number
computational effort
search engine
information systems
real time
real world
learning algorithm
knowledge base
image sequences
computational complexity
probability distribution
theoretical framework
fixed number
maximum number