L
andau_
S
ymbols Dependents
2018
The Error Function
by
Manuel Eberl
Feb 06
2017
Dirichlet L-Functions and Dirichlet's Theorem
by
Manuel Eberl
Dec 21
Dirichlet Series
by
Manuel Eberl
Oct 12
CryptHOL
by
Andreas Lochbihler
May 05
Expected Shape of Random Binary Search Trees
by
Manuel Eberl
Apr 04
The number of comparisons in QuickSort
by
Manuel Eberl
Mar 15
Lower bound on comparison-based sorting algorithms
by
Manuel Eberl
Mar 15
The Eulerâ€“MacLaurin Formula
by
Manuel Eberl
Mar 10
2016
Stirling's formula
by
Manuel Eberl
Sep 01
Catalan Numbers
by
Manuel Eberl
Jun 21
2015
The Akra-Bazzi theorem and the Master theorem
by
Manuel Eberl
Jul 14