1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2007
A decision procedure for linear "big O" equations
Jeremy Avigad, Kevin Donnelly
Let be the set of functions from an infinite set, , to an ordered ring, . For , , and in , the assertion means that for some constant , $|f…
cs.AI2005★ 1 cited
A formally verified proof of the prime number theorem
Jeremy Avigad, Kevin Donnelly, David Gray +1
The prime number theorem, established by Hadamard and de la Vall'ee Poussin independently in 1896, asserts that the density of primes in the positive integers is asymptotic to 1 /…