Finitely Generated Abelian Groups
by Joseph Thommes and Manuel Eberl
Manuel Eberl
2021
Van der Waerden's Theorem
by Katharina Kreuzer and Manuel Eberl
The Hermite–Lindemann–Weierstraß Transcendence Theorem
by Manuel Eberl
2020
Furstenberg's topology and his proof of the infinitude of primes
by Manuel Eberl
2019
Gauss Sums and the Pólya–Vinogradov Inequality
by Rodrigo Raya and Manuel Eberl
Selected Problems from the International Mathematical Olympiad 2019
by Manuel Eberl
Elementary Facts About the Distribution of Primes
by Manuel Eberl
Probabilistic Primality Testing
by Daniel Stüwe and Manuel Eberl
2018
The Prime Number Theorem
by Manuel Eberl and Lawrence C. Paulson
The Incompatibility of Fishburn-Strategyproofness and Pareto-Efficiency
by Felix Brandt, Manuel Eberl, Christian Saile and Christian Stricker
Treaps
by Maximilian P. L. Haslbeck, Manuel Eberl and Tobias Nipkow
2017
Dirichlet L-Functions and Dirichlet's Theorem
by Manuel Eberl
Monad normalisation
by Joshua Schneider, Manuel Eberl and Andreas Lochbihler
Expected Shape of Random Binary Search Trees
by Manuel Eberl
Lower bound on comparison-based sorting algorithms
by Manuel Eberl
2016
The Incompatibility of SD-Efficiency and SD-Strategy-Proofness
by Manuel Eberl
2015
The Akra-Bazzi theorem and the Master theorem
by Manuel Eberl
2014
A Verified Compiler for Probability Density Functions
by Manuel Eberl, Johannes Hölzl and Tobias Nipkow