A formally verified proof of the prime number theorem.

Jeremy Avigad Kevin Donnelly David Gray Paul Raff

Published in: ACM Trans. Comput. Log. (2007)

Keyphrases

small number
computational complexity
finite number
genetic algorithm
data structure
fixed number
database
data sets
knowledge base
case study
high level
training data
preprocessing
maximum number