Manuel Eberl - RankMe

104 papers A* 1A 1B 8Journal 92Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Linear orders as rankings. Arch. Formal Proofs Manuel Eberl
2026	J	`jnl`	Swap Distance. Arch. Formal Proofs Manuel Eberl
2026	J	`jnl`	The Impossibility of Strategyproof Rank Aggregation. Arch. Formal Proofs Manuel Eberl, Patrick Lederer
2026	J	`jnl`	The Impossibility of Strategyproof Rank Aggregation. CoRR Manuel Eberl, Patrick Lederer
2025	J	`jnl`	Complex Lattices, Elliptic Functions, and the Modular Group. Arch. Formal Proofs Manuel Eberl, Anthony Bordg, Wenda Li, Lawrence C. Paulson
2025	J	`jnl`	Dedekind Sums. Arch. Formal Proofs Manuel Eberl, Anthony Bordg, Lawrence C. Paulson, Wenda Li
2025	J	`jnl`	Path Equivalence and Automation for Integration Contours. Arch. Formal Proofs Manuel Eberl
2025	J	`jnl`	The Partition Function and the Pentagonal Number Theorem. Arch. Formal Proofs Manuel Eberl
2025	B	`conf`	Verifying an Efficient Algorithm for Computing Bernoulli Numbers. ITP Manuel Eberl, Peter Lammich
2024	J	`jnl`	A simple proof that π is irrational. Arch. Formal Proofs Manuel Eberl
2024	J	`jnl`	Combinatorial q-Analogues. Arch. Formal Proofs Manuel Eberl
2024	J	`jnl`	Concrete bounds for Chebyshev's prime counting functions. Arch. Formal Proofs Manuel Eberl
2024	J	`jnl`	Continued Fractions. Arch. Formal Proofs Manuel Eberl
2024	B	`conf`	Formalising Half of a Graduate Textbook on Number Theory (Short Paper). ITP Manuel Eberl, Anthony Bordg, Lawrence C. Paulson, Wenda Li
2024	J	`jnl`	Kummer's congruence. Arch. Formal Proofs Manuel Eberl
2024	J	`jnl`	Parallel Shear Sort. Arch. Formal Proofs Manuel Eberl, Peter Lammich
2024	J	`jnl`	The Boustrophedon Transform, the Entringer Numbers, and Related Sequences. Arch. Formal Proofs Manuel Eberl
2024	J	`jnl`	The Karatsuba Square Root Algorithm. Arch. Formal Proofs Manuel Eberl
2024	J	`jnl`	The Rogers-Ramanujan Identities. Arch. Formal Proofs Manuel Eberl
2024	J	`jnl`	The Sum-of-Squares Function and Jacobi's Two-Square Theorem. Arch. Formal Proofs Manuel Eberl
2024	J	`jnl`	Theta Functions. Arch. Formal Proofs Manuel Eberl
2023	J	`jnl`	Chebyshev Polynomials. Arch. Formal Proofs Manuel Eberl
2023	J	`jnl`	Elimination of Repeated Factors Algorithm. Arch. Formal Proofs Katharina Kreuzer, Manuel Eberl
2023	J	`jnl`	Executable Randomized Algorithms. Arch. Formal Proofs Emin Karayel, Manuel Eberl
2023	J	`jnl`	Lambert Series. Arch. Formal Proofs Manuel Eberl
2023	J	`jnl`	Perfect Fields. Arch. Formal Proofs Manuel Eberl, Katharina Kreuzer
2023	A*	`conf`	Strategyproofness and Proportionality in Party-Approval Multiwinner Elections. AAAI Théo Delemazure, Tom Demeulemeester, Manuel Eberl, Jonas Israel, Patrick Lederer
2023	J	`jnl`	The Cardinality of the Continuum. Arch. Formal Proofs Manuel Eberl
2023	J	`jnl`	The Polylogarithm Function. Arch. Formal Proofs Manuel Eberl
2023	J	`jnl`	Two theorems about the geometry of the critical points of a complex polynomial. Arch. Formal Proofs Manuel Eberl
2022	J	`jnl`	A Proof from THE BOOK: The Partial Fraction Expansion of the Cotangent. Arch. Formal Proofs Manuel Eberl
2022	J	`jnl`	Pólya's Proof of the Weighted Arithmetic-Geometric Mean Inequality. Arch. Formal Proofs Manuel Eberl
2022	J	`jnl`	Strategyproofness and Proportionality in Party-Approval Multiwinner Elections. CoRR Théo Delemazure, Tom Demeulemeester, Manuel Eberl, Jonas Israel, Patrick Lederer
2022	J	`jnl`	The Hales-Jewett Theorem. Arch. Formal Proofs Ujkan Sulejmani, Manuel Eberl, Katharina Kreuzer
2022	J	`jnl`	The Incompatibility of Strategy-Proofness and Representation in Party-Approval Multi-Winner Elections. Arch. Formal Proofs Théo Delemazure, Tom Demeulemeester, Manuel Eberl, Jonas Israel, Patrick Lederer
2022	J	`jnl`	The Sophomore's Dream. Arch. Formal Proofs Manuel Eberl
2021	—	`—`	Asymptotic Reasoning in a Proof Assistant (Asymptotische Beweisführung in einem Beweisassistenten) Manuel Eberl
2021	J	`jnl`	Factorization of Polynomials with Algebraic Coefficients. Arch. Formal Proofs Manuel Eberl, René Thiemann
2021	J	`jnl`	Finitely Generated Abelian Groups. Arch. Formal Proofs Joseph Thommes, Manuel Eberl
2021	J	`jnl`	Formal Puiseux Series. Arch. Formal Proofs Manuel Eberl
2021	J	`jnl`	The Hermite-Lindemann-Weierstraß Transcendence Theorem. Arch. Formal Proofs Manuel Eberl
2021	J	`jnl`	The Laws of Large Numbers. Arch. Formal Proofs Manuel Eberl
2021	J	`jnl`	Van der Waerden's Theorem. Arch. Formal Proofs Katharina Kreuzer, Manuel Eberl
2020	J	`jnl`	Furstenberg's topology and his proof of the infinitude of primes. Arch. Formal Proofs Manuel Eberl
2020	J	`jnl`	Gaussian Integers. Arch. Formal Proofs Manuel Eberl
2020	J	`jnl`	Mersenne primes and the Lucas-Lehmer test. Arch. Formal Proofs Manuel Eberl
2020	J	`jnl`	Power Sum Polynomials. Arch. Formal Proofs Manuel Eberl
2020	J	`jnl`	Skip Lists. Arch. Formal Proofs Max W. Haslbeck, Manuel Eberl
2020	J	`jnl`	The Lambert W Function on the Reals. Arch. Formal Proofs Manuel Eberl
2020	J	`jnl`	Verified Analysis of Random Binary Tree Structures. J. Autom. Reason. Manuel Eberl, Max W. Haslbeck, Tobias Nipkow
2020	B	`conf`	Verified Textbook Algorithms - A Biased Survey. ATVA Tobias Nipkow, Manuel Eberl, Maximilian P. L. Haslbeck
2019	J	`jnl`	Elementary Facts About the Distribution of Primes. Arch. Formal Proofs Manuel Eberl
2019	J	`jnl`	Gauss Sums and the Pólya-Vinogradov Inequality. Arch. Formal Proofs Rodrigo Raya, Manuel Eberl
2019	B	`conf`	Nine Chapters of Analytic Number Theory in Isabelle/HOL. ITP Manuel Eberl
2019	J	`jnl`	Probabilistic Primality Testing. Arch. Formal Proofs Daniel Stüwe, Manuel Eberl
2019	J	`jnl`	Selected Problems from the International Mathematical Olympiad 2019. Arch. Formal Proofs Manuel Eberl
2019	J	`jnl`	The Inversions of a List. Arch. Formal Proofs Manuel Eberl
2019	J	`jnl`	The Irrationality of ζ(3). Arch. Formal Proofs Manuel Eberl
2019	B	`conf`	Verified Real Asymptotics in Isabelle/HOL. ISSAC Manuel Eberl
2019	B	`conf`	Verified solving and asymptotics of linear recurrences. CPP Manuel Eberl
2019	—	`conf`	Verifying Randomised Social Choice. FroCos Manuel Eberl
2018	J	`jnl`	Pell's Equation. Arch. Formal Proofs Manuel Eberl
2018	J	`jnl`	Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving. J. ACM Florian Brandl, Felix Brandt, Manuel Eberl, Christian Geist
2018	J	`jnl`	Randomised Binary Search Trees. Arch. Formal Proofs Manuel Eberl
2018	J	`jnl`	Symmetric Polynomials. Arch. Formal Proofs Manuel Eberl
2018	J	`jnl`	The Error Function. Arch. Formal Proofs Manuel Eberl
2018	J	`jnl`	The Incompatibility of Fishburn-Strategyproofness and Pareto-Efficiency. Arch. Formal Proofs Felix Brandt, Manuel Eberl, Christian Saile, Christian Stricker
2018	J	`jnl`	The Prime Number Theorem. Arch. Formal Proofs Manuel Eberl, Lawrence C. Paulson
2018	J	`jnl`	The Transcendence of π. Arch. Formal Proofs Manuel Eberl
2018	J	`jnl`	Treaps. Arch. Formal Proofs Max W. Haslbeck, Manuel Eberl, Tobias Nipkow
2018	B	`conf`	Verified Analysis of Random Binary Tree Structures. ITP Manuel Eberl, Max W. Haslbeck, Tobias Nipkow
2017	J	`jnl`	A Verified Compiler for Probability Density Functions. CoRR Manuel Eberl, Johannes Hölzl, Tobias Nipkow
2017	J	`jnl`	Bernoulli Numbers. Arch. Formal Proofs Lukas Bulwahn, Manuel Eberl
2017	J	`jnl`	Bertrand's postulate. Arch. Formal Proofs Julian Biendarra, Manuel Eberl
2017	J	`jnl`	Buffon's Needle Problem. Arch. Formal Proofs Manuel Eberl
2017	J	`jnl`	Dirichlet L-Functions and Dirichlet's Theorem. Arch. Formal Proofs Manuel Eberl
2017	J	`jnl`	Dirichlet Series. Arch. Formal Proofs Manuel Eberl
2017	J	`jnl`	Expected Shape of Random Binary Search Trees. Arch. Formal Proofs Manuel Eberl
2017	J	`jnl`	Linear Recurrences. Arch. Formal Proofs Manuel Eberl
2017	J	`jnl`	Lower bound on comparison-based sorting algorithms. Arch. Formal Proofs Manuel Eberl
2017	J	`jnl`	Minkowski's Theorem. Arch. Formal Proofs Manuel Eberl
2017	J	`jnl`	Monad normalisation. Arch. Formal Proofs Joshua Schneider, Manuel Eberl, Andreas Lochbihler
2017	J	`jnl`	Proving Divide and Conquer Complexities in Isabelle/HOL. J. Autom. Reason. Manuel Eberl
2017	J	`jnl`	The Euler-MacLaurin Formula. Arch. Formal Proofs Manuel Eberl
2017	J	`jnl`	The Hurwitz and Riemann ζ Functions. Arch. Formal Proofs Manuel Eberl
2017	J	`jnl`	The Mason-Stother's Theorem. Arch. Formal Proofs Manuel Eberl
2017	J	`jnl`	The Median-of-Medians Selection Algorithm. Arch. Formal Proofs Manuel Eberl
2017	J	`jnl`	The Transcendence of e. Arch. Formal Proofs Manuel Eberl
2017	J	`jnl`	The number of comparisons in QuickSort. Arch. Formal Proofs Manuel Eberl
2016	J	`jnl`	Catalan Numbers. Arch. Formal Proofs Manuel Eberl
2016	J	`jnl`	Fisher-Yates shuffle. Arch. Formal Proofs Manuel Eberl
2016	J	`jnl`	Randomised Social Choice Theory. Arch. Formal Proofs Manuel Eberl
2016	J	`jnl`	Stirling's formula. Arch. Formal Proofs Manuel Eberl
2016	J	`jnl`	The Incompatibility of SD-Efficiency and SD-Strategy-Proofness. Arch. Formal Proofs Manuel Eberl
2015	B	`conf`	A Decision Procedure for Univariate Real Polynomials in Isabelle/HOL. CPP Manuel Eberl
2015	A	`conf`	A Verified Compiler for Probability Density Functions. ESOP Manuel Eberl, Johannes Hölzl, Tobias Nipkow
2015	J	`jnl`	Basic Geometric Properties of Triangles. Arch. Formal Proofs Manuel Eberl
2015	J	`jnl`	Descartes' Rule of Signs. Arch. Formal Proofs Manuel Eberl
2015	J	`jnl`	Landau Symbols. Arch. Formal Proofs Manuel Eberl
2015	J	`jnl`	Liouville numbers. Arch. Formal Proofs Manuel Eberl
2015	J	`jnl`	The Akra-Bazzi theorem and the Master theorem. Arch. Formal Proofs Manuel Eberl
2015	J	`jnl`	The Divergence of the Prime Harmonic Series. Arch. Formal Proofs Manuel Eberl
2014	J	`jnl`	A Verified Compiler for Probability Density Functions. Arch. Formal Proofs Manuel Eberl, Johannes Hölzl, Tobias Nipkow
2014	J	`jnl`	Sturm's Theorem. Arch. Formal Proofs Manuel Eberl