output
20022009
most citedSystematic Measurements of Identified Particle Spectra in pp, d+Au and Au+Au Collisions from STAR

978 citations

researchers with a paper here
collaborating institutions
Showing 2005 · cs.AIShow all

1 paper · 2 filters

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 /…