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