Manuel Eberl

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 84

Top Topics

Randomized Algorithm

Social Choice Theory

Density Function

Top Venues

Arch. Formal Proofs

Publications

Manuel Eberl
Kummer's congruence. Arch. Formal Proofs 2024 (2024)
Manuel Eberl
Continued Fractions. Arch. Formal Proofs 2024 (2024)
Manuel Eberl
Chebyshev Polynomials. Arch. Formal Proofs 2023 (2023)
Katharina Kreuzer, Manuel Eberl
Elimination of Repeated Factors Algorithm. Arch. Formal Proofs 2023 (2023)
Manuel Eberl
Two theorems about the geometry of the critical points of a complex polynomial. Arch. Formal Proofs 2023 (2023)
Katharina Kreuzer, Manuel Eberl
Elimination of Repeated Factors Algorithm. Arch. Formal Proofs 2023 (2023)
Manuel Eberl, Katharina Kreuzer
Perfect Fields. Arch. Formal Proofs 2023 (2023)
Manuel Eberl, Katharina Kreuzer
Perfect Fields. Arch. Formal Proofs 2023 (2023)
Manuel Eberl
The Cardinality of the Continuum. Arch. Formal Proofs 2023 (2023)
Théo Delemazure, Tom Demeulemeester, Manuel Eberl, Jonas Israel, Patrick Lederer
Strategyproofness and Proportionality in Party-Approval Multiwinner Elections. AAAI (2023)
Manuel Eberl
Lambert Series. Arch. Formal Proofs 2023 (2023)
Manuel Eberl
The Polylogarithm Function. Arch. Formal Proofs 2023 (2023)
Emin Karayel, Manuel Eberl
Executable Randomized Algorithms. Arch. Formal Proofs 2023 (2023)
Manuel Eberl
The Sophomore's Dream. Arch. Formal Proofs 2022 (2022)
Ujkan Sulejmani, Manuel Eberl, Katharina Kreuzer
The Hales-Jewett Theorem. Arch. Formal Proofs 2022 (2022)
Théo Delemazure, Tom Demeulemeester, Manuel Eberl, Jonas Israel, Patrick Lederer
The Incompatibility of Strategy-Proofness and Representation in Party-Approval Multi-Winner Elections. Arch. Formal Proofs 2022 (2022)
Manuel Eberl
Pólya's Proof of the Weighted Arithmetic-Geometric Mean Inequality. Arch. Formal Proofs 2022 (2022)
Manuel Eberl
A Proof from THE BOOK: The Partial Fraction Expansion of the Cotangent. Arch. Formal Proofs 2022 (2022)
Théo Delemazure, Tom Demeulemeester, Manuel Eberl, Jonas Israel, Patrick Lederer
Strategyproofness and Proportionality in Party-Approval Multiwinner Elections. CoRR (2022)
Joseph Thommes, Manuel Eberl
Finitely Generated Abelian Groups. Arch. Formal Proofs 2021 (2021)
Manuel Eberl
Formal Puiseux Series. Arch. Formal Proofs 2021 (2021)
Katharina Kreuzer, Manuel Eberl
Van der Waerden's Theorem. Arch. Formal Proofs 2021 (2021)
Manuel Eberl, René Thiemann
Factorization of Polynomials with Algebraic Coefficients. Arch. Formal Proofs 2021 (2021)
Manuel Eberl
The Laws of Large Numbers. Arch. Formal Proofs 2021 (2021)
Manuel Eberl
The Hermite-Lindemann-Weierstraß Transcendence Theorem. Arch. Formal Proofs 2021 (2021)
Tobias Nipkow, Manuel Eberl, Maximilian P. L. Haslbeck
Verified Textbook Algorithms - A Biased Survey. ATVA (2020)
Manuel Eberl
Mersenne primes and the Lucas-Lehmer test. Arch. Formal Proofs 2020 (2020)
Manuel Eberl
Furstenberg's topology and his proof of the infinitude of primes. Arch. Formal Proofs 2020 (2020)
Manuel Eberl
The Lambert W Function on the Reals. Arch. Formal Proofs 2020 (2020)
Manuel Eberl, Max W. Haslbeck, Tobias Nipkow
Verified Analysis of Random Binary Tree Structures. J. Autom. Reason. 64 (5) (2020)
Manuel Eberl
Power Sum Polynomials. Arch. Formal Proofs 2020 (2020)
Max W. Haslbeck, Manuel Eberl
Skip Lists. Arch. Formal Proofs 2020 (2020)
Manuel Eberl
Gaussian Integers. Arch. Formal Proofs 2020 (2020)
Manuel Eberl
Verified Real Asymptotics in Isabelle/HOL. ISSAC (2019)
Rodrigo Raya, Manuel Eberl
Gauss Sums and the Pólya-Vinogradov Inequality. Arch. Formal Proofs 2019 (2019)
Manuel Eberl
Verified solving and asymptotics of linear recurrences. CPP (2019)
Daniel Stüwe, Manuel Eberl
Probabilistic Primality Testing. Arch. Formal Proofs 2019 (2019)
Manuel Eberl
The Inversions of a List. Arch. Formal Proofs 2019 (2019)
Manuel Eberl
Selected Problems from the International Mathematical Olympiad 2019. Arch. Formal Proofs 2019 (2019)
Manuel Eberl
Nine Chapters of Analytic Number Theory in Isabelle/HOL. ITP (2019)
Manuel Eberl
Verifying Randomised Social Choice. FroCos (2019)
Manuel Eberl
Elementary Facts About the Distribution of Primes. Arch. Formal Proofs 2019 (2019)
Manuel Eberl
The Irrationality of ζ(3). Arch. Formal Proofs 2019 (2019)
Manuel Eberl, Max W. Haslbeck, Tobias Nipkow
Verified Analysis of Random Binary Tree Structures. ITP (2018)
Manuel Eberl
The Transcendence of π. Arch. Formal Proofs 2018 (2018)
Manuel Eberl
The Error Function. Arch. Formal Proofs 2018 (2018)
Manuel Eberl
Randomised Binary Search Trees. Arch. Formal Proofs 2018 (2018)
Felix Brandt, Manuel Eberl, Christian Saile, Christian Stricker
The Incompatibility of Fishburn-Strategyproofness and Pareto-Efficiency. Arch. Formal Proofs 2018 (2018)
Manuel Eberl
Pell's Equation. Arch. Formal Proofs 2018 (2018)
Florian Brandl, Felix Brandt, Manuel Eberl, Christian Geist
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving. J. ACM 65 (2) (2018)
Max W. Haslbeck, Manuel Eberl, Tobias Nipkow
Treaps. Arch. Formal Proofs 2018 (2018)
Manuel Eberl
Symmetric Polynomials. Arch. Formal Proofs 2018 (2018)
Manuel Eberl, Lawrence C. Paulson
The Prime Number Theorem. Arch. Formal Proofs 2018 (2018)
Manuel Eberl
The Transcendence of e. Arch. Formal Proofs 2017 (2017)
Manuel Eberl
The Median-of-Medians Selection Algorithm. Arch. Formal Proofs 2017 (2017)
Joshua Schneider, Manuel Eberl, Andreas Lochbihler
Monad normalisation. Arch. Formal Proofs 2017 (2017)
Manuel Eberl
Expected Shape of Random Binary Search Trees. Arch. Formal Proofs 2017 (2017)
Manuel Eberl
Buffon's Needle Problem. Arch. Formal Proofs 2017 (2017)
Julian Biendarra, Manuel Eberl
Bertrand's postulate. Arch. Formal Proofs 2017 (2017)
Manuel Eberl
Minkowski's Theorem. Arch. Formal Proofs 2017 (2017)
Manuel Eberl
The Hurwitz and Riemann ζ Functions. Arch. Formal Proofs 2017 (2017)
Manuel Eberl
Dirichlet L-Functions and Dirichlet's Theorem. Arch. Formal Proofs 2017 (2017)
Manuel Eberl
Proving Divide and Conquer Complexities in Isabelle/HOL. J. Autom. Reason. 58 (4) (2017)
Manuel Eberl
Lower bound on comparison-based sorting algorithms. Arch. Formal Proofs 2017 (2017)
Manuel Eberl, Johannes Hölzl, Tobias Nipkow
A Verified Compiler for Probability Density Functions. CoRR (2017)
Manuel Eberl
Dirichlet Series. Arch. Formal Proofs 2017 (2017)
Manuel Eberl
The number of comparisons in QuickSort. Arch. Formal Proofs 2017 (2017)
Manuel Eberl
Linear Recurrences. Arch. Formal Proofs 2017 (2017)
Lukas Bulwahn, Manuel Eberl
Bernoulli Numbers. Arch. Formal Proofs 2017 (2017)
Manuel Eberl
The Mason-Stother's Theorem. Arch. Formal Proofs 2017 (2017)
Manuel Eberl
The Euler-MacLaurin Formula. Arch. Formal Proofs 2017 (2017)
Manuel Eberl
The Incompatibility of SD-Efficiency and SD-Strategy-Proofness. Arch. Formal Proofs 2016 (2016)
Manuel Eberl
Fisher-Yates shuffle. Arch. Formal Proofs 2016 (2016)
Manuel Eberl
Stirling's formula. Arch. Formal Proofs 2016 (2016)
Manuel Eberl
Catalan Numbers. Arch. Formal Proofs 2016 (2016)
Manuel Eberl
Randomised Social Choice Theory. Arch. Formal Proofs 2016 (2016)
Manuel Eberl
Descartes' Rule of Signs. Arch. Formal Proofs 2015 (2015)
Manuel Eberl
Landau Symbols. Arch. Formal Proofs 2015 (2015)
Manuel Eberl
A Decision Procedure for Univariate Real Polynomials in Isabelle/HOL. CPP (2015)
Manuel Eberl
The Akra-Bazzi theorem and the Master theorem. Arch. Formal Proofs 2015 (2015)
Manuel Eberl
Basic Geometric Properties of Triangles. Arch. Formal Proofs 2015 (2015)
Manuel Eberl
Liouville numbers. Arch. Formal Proofs 2015 (2015)
Manuel Eberl, Johannes Hölzl, Tobias Nipkow
A Verified Compiler for Probability Density Functions. ESOP (2015)
Manuel Eberl
The Divergence of the Prime Harmonic Series. Arch. Formal Proofs 2015 (2015)
Manuel Eberl
Sturm's Theorem. Arch. Formal Proofs 2014 (2014)
Manuel Eberl, Johannes Hölzl, Tobias Nipkow
A Verified Compiler for Probability Density Functions. Arch. Formal Proofs 2014 (2014)