Manuel Eberl
2022
A Proof from THE BOOK: The Partial Fraction Expansion of the Cotangent
by Manuel Eberl
2021
Factorization of Polynomials with Algebraic Coefficients
by Manuel Eberl and René Thiemann
Finitely Generated Abelian Groups
by Joseph Thommes and Manuel Eberl
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
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