Manuel Eberl

0000-0002-4263-6571

Homepages 🌐

E-Mails 📧

ta.ca.kbiu@lrebe.leunam
gro.otsivurp@leunam

Entries

2022

The Incompatibility of Strategy-Proofness and Representation in Party-Approval Multi-Winner Elections

by Théo Delemazure 🌐, Tom Demeulemeester 🌐, Manuel Eberl 🌐, Jonas Israel 🌐 and Patrick Lederer 🌐

Nov 10

The Hales–Jewett Theorem

by Ujkan Sulejmani 📧, Manuel Eberl 📧 and Katharina Kreuzer 📧

Sep 02

Pólya’s Proof of the Weighted Arithmetic–Geometric Mean Inequality

by Manuel Eberl 🌐

Jul 11

The Sophomore's Dream

by Manuel Eberl 🌐

Apr 10

A Proof from THE BOOK: The Partial Fraction Expansion of the Cotangent

by Manuel Eberl 🌐

Mar 15

2021

Factorization of Polynomials with Algebraic Coefficients

by Manuel Eberl 🌐 and René Thiemann 📧

Nov 08

Finitely Generated Abelian Groups

by Joseph Thommes and Manuel Eberl 🌐

Jul 07

Van der Waerden's Theorem

by Katharina Kreuzer 🌐 and Manuel Eberl 🌐

Jun 22

The Hermite–Lindemann–Weierstraß Transcendence Theorem

by Manuel Eberl 🌐

Mar 03

Formal Puiseux Series

by Manuel Eberl 🌐

Feb 17

The Laws of Large Numbers

by Manuel Eberl 🌐

Feb 10

2020

The Lambert W Function on the Reals

by Manuel Eberl 🌐

Apr 24

Power Sum Polynomials

by Manuel Eberl 🌐

Apr 24

Gaussian Integers

by Manuel Eberl 🌐

Apr 24

Furstenberg's topology and his proof of the infinitude of primes

by Manuel Eberl 🌐

Mar 22

Mersenne primes and the Lucas–Lehmer test

by Manuel Eberl 🌐

Jan 17

Skip Lists

by Max W. Haslbeck 🌐 and Manuel Eberl 🌐

Jan 09

2019

The Irrationality of ζ(3)

by Manuel Eberl 🌐

Dec 27

Gauss Sums and the Pólya–Vinogradov Inequality

by Rodrigo Raya 🌐 and Manuel Eberl 🌐

Dec 10

Selected Problems from the International Mathematical Olympiad 2019

by Manuel Eberl 🌐

Aug 05

Elementary Facts About the Distribution of Primes

by Manuel Eberl 🌐

Feb 21

Probabilistic Primality Testing

by Daniel Stüwe and Manuel Eberl 🌐

Feb 11

The Inversions of a List

by Manuel Eberl 🌐

Feb 01

2018

Randomised Binary Search Trees

by Manuel Eberl 🌐

Oct 19

The Transcendence of π

by Manuel Eberl 🌐

Sep 28

Symmetric Polynomials

by Manuel Eberl 🌐

Sep 25

The Prime Number Theorem

by Manuel Eberl 🌐 and Lawrence C. Paulson 🌐

Sep 19

Pell's Equation

by Manuel Eberl 🌐

Jun 23

The Incompatibility of Fishburn-Strategyproofness and Pareto-Efficiency

by Felix Brandt 🌐, Manuel Eberl 🌐, Christian Saile 🌐 and Christian Stricker 🌐

Mar 22

Treaps

by Max W. Haslbeck 🌐, Manuel Eberl 🌐 and Tobias Nipkow 🌐

Feb 06

The Error Function

by Manuel Eberl 🌐

Feb 06

2017

The Median-of-Medians Selection Algorithm

by Manuel Eberl 🌐

Dec 21

The Mason–Stothers Theorem

by Manuel Eberl 🌐

Dec 21

Dirichlet L-Functions and Dirichlet's Theorem

by Manuel Eberl 🌐

Dec 21

The Hurwitz and Riemann ζ Functions

by Manuel Eberl 🌐

Oct 12

Linear Recurrences

by Manuel Eberl 🌐

Oct 12

Dirichlet Series

by Manuel Eberl 🌐

Oct 12

Minkowski's Theorem

by Manuel Eberl 🌐

Jul 13

Buffon's Needle Problem

by Manuel Eberl 🌐

Jun 06

Monad normalisation

by Joshua Schneider, Manuel Eberl 🌐 and 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

Bernoulli Numbers

by Lukas Bulwahn 📧 and Manuel Eberl 🌐

Jan 24

Bertrand's postulate

by Julian Biendarra and Manuel Eberl 🌐

Jan 17

The Transcendence of e

by Manuel Eberl 🌐

Jan 12

2016

Fisher–Yates shuffle

by Manuel Eberl 🌐

Sep 30

Stirling's formula

by Manuel Eberl 🌐

Sep 01

Catalan Numbers

by Manuel Eberl 🌐

Jun 21

Randomised Social Choice Theory

by Manuel Eberl 📧

May 05

The Incompatibility of SD-Efficiency and SD-Strategy-Proofness

by Manuel Eberl 📧

May 04

2015

The Divergence of the Prime Harmonic Series

by Manuel Eberl 🌐

Dec 28

Liouville numbers

by Manuel Eberl 🌐

Dec 28

Descartes' Rule of Signs

by Manuel Eberl 🌐

Dec 28

Basic Geometric Properties of Triangles

by Manuel Eberl 🌐

Dec 28

The Akra-Bazzi theorem and the Master theorem

by Manuel Eberl 🌐

Jul 14

Landau Symbols

by Manuel Eberl 🌐

Jul 14

2014

A Verified Compiler for Probability Density Functions

by Manuel Eberl 🌐, Johannes Hölzl 🌐 and Tobias Nipkow 🌐

Oct 09

Sturm's Theorem

by Manuel Eberl 🌐

Jan 11