Gray, David
- A formally verified proof of the prime number theorem
2005/09/09 by Jeremy Avigad, Kevin Donnelly, Avigad, Jeremy +6 · 1 citation
Computer Science · Mathematics · #Analytic Number Theory Research #Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #History and Theory of Mathematics #I.2.3 #Logic in Computer Science (cs.LO) #Mathematics and Applications #Symbolic Computation (cs.SC) #cs.AI #cs.LO #cs.SC