Manuel Eberl

0000-0002-4263-6571

Homepages 🌐

• https://pruvisto.org/

E-Mails 📧

• gro.otsivurp@leunam

Entries

2026

Swap Distance

by Manuel Eberl

Jan 22

The Impossibility of Strategyproof Rank Aggregation

by Manuel Eberl and Patrick Lederer

Jan 22

Linear orders as rankings

by Manuel Eberl

Jan 22

2025

Path Equivalence and Automation for Integration Contours

by Manuel Eberl

Oct 22

Complex Lattices, Elliptic Functions, and the Modular Group

by Manuel Eberl, Anthony Bordg, Wenda Li and Lawrence C. Paulson

May 22

The Partition Function and the Pentagonal Number Theorem

by Manuel Eberl

Apr 23

Dedekind Sums

by Manuel Eberl, Anthony Bordg, Lawrence C. Paulson and Wenda Li

Apr 23

2024

Theta Functions

by Manuel Eberl

Dec 02

The Rogers–Ramanujan Identities

by Manuel Eberl

Dec 02

Combinatorial q-Analogues

by Manuel Eberl

Dec 02

The Sum-of-Squares Function and Jacobi's Two-Square Theorem

by Manuel Eberl

Nov 26

The Boustrophedon Transform, the Entringer Numbers, and Related Sequences

by Manuel Eberl

Oct 24

The Karatsuba Square Root Algorithm

by Manuel Eberl

Sep 18

Parallel Shear Sort

by Manuel Eberl and Peter Lammich

Sep 17

A simple proof that π is irrational

by Manuel Eberl

Sep 13

Concrete bounds for Chebyshev’s prime counting functions

by Manuel Eberl

Sep 13

Kummer's congruence

by Manuel Eberl

Mar 20

Continued Fractions

by Manuel Eberl

Mar 20

2023

Lambert Series

by Manuel Eberl

Nov 24

The Polylogarithm Function

by Manuel Eberl

Nov 15

The Cardinality of the Continuum

by Manuel Eberl

Nov 15

Two theorems about the geometry of the critical points of a complex polynomial

by Manuel Eberl

Nov 14

Chebyshev Polynomials

by Manuel Eberl

Nov 13

Perfect Fields

by Manuel Eberl and Katharina Kreuzer

Nov 06

Elimination of Repeated Factors Algorithm

by Katharina Kreuzer and Manuel Eberl

Nov 06

Executable Randomized Algorithms

by Emin Karayel and Manuel Eberl

Jun 19

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

Power Sum Polynomials

by Manuel Eberl

Apr 24

The Lambert W Function on the Reals

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

Basic Geometric Properties of Triangles

by Manuel Eberl

Dec 28

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

Landau Symbols

by Manuel Eberl

Jul 14

The Akra-Bazzi theorem and the Master theorem

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