eberl

Kummer's congruence

by Manuel Eberl 📧

Mar 20

Continued Fractions

by Manuel Eberl 📧

Mar 20

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

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

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

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

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

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

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

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

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

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

Homepages 🌐

E-Mails 📧

Entries

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014