A formally verified proof of the prime number theorem

Jeremy Avigad Kevin Donnelly David Gray Paul Raff

Published in: CoRR (2005)

Keyphrases

small number
maximum number
real time
computer vision
case study
feature space
lower bound
memory requirements
computational effort