S
tirling_
F
ormula Dependents
2023
Distributed Distinct Elements
by
Emin Karayel
Apr 03
2022
Clique is not solvable by monotone circuits of polynomial size
by
René Thiemann
May 08
Irrational numbers from THE BOOK
by
Lawrence C. Paulson
Jan 08
2020
The Lambert W Function on the Reals
by
Manuel Eberl
Apr 24
2018
The Prime Number Theorem
by
Manuel Eberl
and
Lawrence C. Paulson
Sep 19
2017
Lower bound on comparison-based sorting algorithms
by
Manuel Eberl
Mar 15