About the Formalization of Some Results by Chebyshev in Number Theory.

Andrea Asperti Wilmer Ricciotti

Published in: TYPES (2008)

Keyphrases

small number
computational complexity
relational databases
probabilistic model
theoretical framework
memory requirements
real time
databases
real world
machine learning
artificial intelligence
image segmentation
artificial neural networks
maximum number