| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Manuel Eberl
| Website: https://www21.in.tum.de/~eberlm |
Entries
| 2020 |
| April 24: The Lambert W Function on the Reals |
| April 24: Power Sum Polynomials |
| April 24: Gaussian Integers |
| March 22: Furstenberg's topology and his proof of the infinitude of primes |
| January 17: Mersenne primes and the Lucas–Lehmer test |
| January 9: Skip Lists |
| 2019 |
| December 27: The Irrationality of ζ(3) |
| December 10: Gauss Sums and the Pólya–Vinogradov Inequality |
| August 5: Selected Problems from the International Mathematical Olympiad 2019 |
| February 21: Elementary Facts About the Distribution of Primes |
| February 11: Probabilistic Primality Testing |
| February 1: The Inversions of a List |
| 2018 |
| October 19: Randomised Binary Search Trees |
| September 28: The Transcendence of π |
| September 25: Symmetric Polynomials |
| September 19: The Prime Number Theorem |
| June 23: Pell's Equation |
| March 22: The Incompatibility of Fishburn-Strategyproofness and Pareto-Efficiency |
| February 6: Treaps |
| February 6: The Error Function |
| 2017 |
| December 21: The Median-of-Medians Selection Algorithm |
| December 21: The Mason–Stothers Theorem |
| December 21: Dirichlet L-Functions and Dirichlet's Theorem |
| October 12: The Hurwitz and Riemann ζ Functions |
| October 12: Linear Recurrences |
| October 12: Dirichlet Series |
| July 13: Minkowski's Theorem |
| June 6: Buffon's Needle Problem |
| May 5: Monad normalisation |
| April 4: Expected Shape of Random Binary Search Trees |
| March 15: The number of comparisons in QuickSort |
| March 15: Lower bound on comparison-based sorting algorithms |
| March 10: The Euler–MacLaurin Formula |
| January 24: Bernoulli Numbers |
| January 17: Bertrand's postulate |
| January 12: The Transcendence of e |
| 2016 |
| September 30: Fisher–Yates shuffle |
| September 1: Stirling's formula |
| June 21: Catalan Numbers |
| May 5: Randomised Social Choice Theory |
| May 4: The Incompatibility of SD-Efficiency and SD-Strategy-Proofness |
| 2015 |
| December 28: The Divergence of the Prime Harmonic Series |
| December 28: Liouville numbers |
| December 28: Descartes' Rule of Signs |
| December 28: Basic Geometric Properties of Triangles |
| July 14: The Akra-Bazzi theorem and the Master theorem |
| July 14: Landau Symbols |
| 2014 |
| October 9: A Verified Compiler for Probability Density Functions |
| January 11: Sturm's Theorem |