![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Manuel Eberl
Person information
- affiliation: Technische Universität München, Germany
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j73]Manuel Eberl:
Continued Fractions. Arch. Formal Proofs 2024 (2024) - [j72]Manuel Eberl:
Kummer's congruence. Arch. Formal Proofs 2024 (2024) - 2023
- [j71]Manuel Eberl:
Chebyshev Polynomials. Arch. Formal Proofs 2023 (2023) - [j70]Manuel Eberl:
Two theorems about the geometry of the critical points of a complex polynomial. Arch. Formal Proofs 2023 (2023) - [j69]Manuel Eberl:
The Cardinality of the Continuum. Arch. Formal Proofs 2023 (2023) - [j68]Manuel Eberl:
The Polylogarithm Function. Arch. Formal Proofs 2023 (2023) - [j67]Manuel Eberl:
Lambert Series. Arch. Formal Proofs 2023 (2023) - [j66]Manuel Eberl, Katharina Kreuzer:
Perfect Fields. Arch. Formal Proofs 2023 (2023) - [j65]Emin Karayel, Manuel Eberl:
Executable Randomized Algorithms. Arch. Formal Proofs 2023 (2023) - [j64]Katharina Kreuzer, Manuel Eberl:
Elimination of Repeated Factors Algorithm. Arch. Formal Proofs 2023 (2023) - [c9]Théo Delemazure, Tom Demeulemeester
, Manuel Eberl, Jonas Israel, Patrick Lederer:
Strategyproofness and Proportionality in Party-Approval Multiwinner Elections. AAAI 2023: 5591-5599 - 2022
- [j63]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) - [j62]Manuel Eberl:
A Proof from THE BOOK: The Partial Fraction Expansion of the Cotangent. Arch. Formal Proofs 2022 (2022) - [j61]Manuel Eberl:
The Sophomore's Dream. Arch. Formal Proofs 2022 (2022) - [j60]Manuel Eberl:
Pólya's Proof of the Weighted Arithmetic-Geometric Mean Inequality. Arch. Formal Proofs 2022 (2022) - [j59]Ujkan Sulejmani, Manuel Eberl, Katharina Kreuzer:
The Hales-Jewett Theorem. Arch. Formal Proofs 2022 (2022) - [i2]Théo Delemazure, Tom Demeulemeester
, Manuel Eberl, Jonas Israel, Patrick Lederer:
Strategyproofness and Proportionality in Party-Approval Multiwinner Elections. CoRR abs/2211.13567 (2022) - 2021
- [b1]Manuel Eberl:
Asymptotic Reasoning in a Proof Assistant (Asymptotische Beweisführung in einem Beweisassistenten). Technical University of Munich, Germany, 2021 - [j58]Manuel Eberl:
The Laws of Large Numbers. Arch. Formal Proofs 2021 (2021) - [j57]Manuel Eberl:
Formal Puiseux Series. Arch. Formal Proofs 2021 (2021) - [j56]Manuel Eberl:
The Hermite-Lindemann-Weierstraß Transcendence Theorem. Arch. Formal Proofs 2021 (2021) - [j55]Manuel Eberl, René Thiemann:
Factorization of Polynomials with Algebraic Coefficients. Arch. Formal Proofs 2021 (2021) - [j54]Katharina Kreuzer, Manuel Eberl:
Van der Waerden's Theorem. Arch. Formal Proofs 2021 (2021) - [j53]Joseph Thommes, Manuel Eberl:
Finitely Generated Abelian Groups. Arch. Formal Proofs 2021 (2021) - 2020
- [j52]Manuel Eberl:
Mersenne primes and the Lucas-Lehmer test. Arch. Formal Proofs 2020 (2020) - [j51]Manuel Eberl:
Furstenberg's topology and his proof of the infinitude of primes. Arch. Formal Proofs 2020 (2020) - [j50]Manuel Eberl:
Gaussian Integers. Arch. Formal Proofs 2020 (2020) - [j49]Manuel Eberl:
The Lambert W Function on the Reals. Arch. Formal Proofs 2020 (2020) - [j48]Manuel Eberl:
Power Sum Polynomials. Arch. Formal Proofs 2020 (2020) - [j47]Max W. Haslbeck, Manuel Eberl:
Skip Lists. Arch. Formal Proofs 2020 (2020) - [j46]Manuel Eberl
, Max W. Haslbeck
, Tobias Nipkow
:
Verified Analysis of Random Binary Tree Structures. J. Autom. Reason. 64(5): 879-910 (2020) - [c8]Tobias Nipkow
, Manuel Eberl
, Maximilian P. L. Haslbeck
:
Verified Textbook Algorithms - A Biased Survey. ATVA 2020: 25-53
2010 – 2019
- 2019
- [j45]Manuel Eberl:
The Inversions of a List. Arch. Formal Proofs 2019 (2019) - [j44]Manuel Eberl:
Elementary Facts About the Distribution of Primes. Arch. Formal Proofs 2019 (2019) - [j43]Manuel Eberl:
Selected Problems from the International Mathematical Olympiad 2019. Arch. Formal Proofs 2019 (2019) - [j42]Manuel Eberl:
The Irrationality of ζ(3). Arch. Formal Proofs 2019 (2019) - [j41]Rodrigo Raya, Manuel Eberl:
Gauss Sums and the Pólya-Vinogradov Inequality. Arch. Formal Proofs 2019 (2019) - [j40]Daniel Stüwe, Manuel Eberl:
Probabilistic Primality Testing. Arch. Formal Proofs 2019 (2019) - [c7]Manuel Eberl
:
Verified solving and asymptotics of linear recurrences. CPP 2019: 27-37 - [c6]Manuel Eberl
:
Verifying Randomised Social Choice. FroCos 2019: 240-256 - [c5]Manuel Eberl:
Verified Real Asymptotics in Isabelle/HOL. ISSAC 2019: 147-154 - [c4]Manuel Eberl
:
Nine Chapters of Analytic Number Theory in Isabelle/HOL. ITP 2019: 16:1-16:19 - 2018
- [j39]Felix Brandt, Manuel Eberl, Christian Saile, Christian Stricker:
The Incompatibility of Fishburn-Strategyproofness and Pareto-Efficiency. Arch. Formal Proofs 2018 (2018) - [j38]Manuel Eberl:
The Error Function. Arch. Formal Proofs 2018 (2018) - [j37]Manuel Eberl:
Pell's Equation. Arch. Formal Proofs 2018 (2018) - [j36]Manuel Eberl:
Symmetric Polynomials. Arch. Formal Proofs 2018 (2018) - [j35]Manuel Eberl:
The Transcendence of π. Arch. Formal Proofs 2018 (2018) - [j34]Manuel Eberl:
Randomised Binary Search Trees. Arch. Formal Proofs 2018 (2018) - [j33]Manuel Eberl, Lawrence C. Paulson:
The Prime Number Theorem. Arch. Formal Proofs 2018 (2018) - [j32]Max W. Haslbeck, Manuel Eberl, Tobias Nipkow:
Treaps. Arch. Formal Proofs 2018 (2018) - [j31]Florian Brandl, Felix Brandt, Manuel Eberl
, Christian Geist:
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving. J. ACM 65(2): 6:1-6:28 (2018) - [c3]Manuel Eberl
, Max W. Haslbeck
, Tobias Nipkow
:
Verified Analysis of Random Binary Tree Structures. ITP 2018: 196-214 - 2017
- [j30]Julian Biendarra, Manuel Eberl:
Bertrand's postulate. Arch. Formal Proofs 2017 (2017) - [j29]Lukas Bulwahn, Manuel Eberl:
Bernoulli Numbers. Arch. Formal Proofs 2017 (2017) - [j28]Manuel Eberl:
The Transcendence of e. Arch. Formal Proofs 2017 (2017) - [j27]Manuel Eberl:
The Euler-MacLaurin Formula. Arch. Formal Proofs 2017 (2017) - [j26]Manuel Eberl:
Lower bound on comparison-based sorting algorithms. Arch. Formal Proofs 2017 (2017) - [j25]Manuel Eberl:
The number of comparisons in QuickSort. Arch. Formal Proofs 2017 (2017) - [j24]Manuel Eberl:
Expected Shape of Random Binary Search Trees. Arch. Formal Proofs 2017 (2017) - [j23]Manuel Eberl:
Buffon's Needle Problem. Arch. Formal Proofs 2017 (2017) - [j22]Manuel Eberl:
Minkowski's Theorem. Arch. Formal Proofs 2017 (2017) - [j21]Manuel Eberl:
Dirichlet Series. Arch. Formal Proofs 2017 (2017) - [j20]Manuel Eberl:
The Hurwitz and Riemann ζ Functions. Arch. Formal Proofs 2017 (2017) - [j19]Manuel Eberl:
Linear Recurrences. Arch. Formal Proofs 2017 (2017) - [j18]Manuel Eberl:
The Mason-Stother's Theorem. Arch. Formal Proofs 2017 (2017) - [j17]Manuel Eberl:
The Median-of-Medians Selection Algorithm. Arch. Formal Proofs 2017 (2017) - [j16]Manuel Eberl:
Dirichlet L-Functions and Dirichlet's Theorem. Arch. Formal Proofs 2017 (2017) - [j15]Joshua Schneider, Manuel Eberl, Andreas Lochbihler:
Monad normalisation. Arch. Formal Proofs 2017 (2017) - [j14]Manuel Eberl
:
Proving Divide and Conquer Complexities in Isabelle/HOL. J. Autom. Reason. 58(4): 483-508 (2017) - [i1]Manuel Eberl, Johannes Hölzl
, Tobias Nipkow:
A Verified Compiler for Probability Density Functions. CoRR abs/1707.06901 (2017) - 2016
- [j13]Manuel Eberl:
The Incompatibility of SD-Efficiency and SD-Strategy-Proofness. Arch. Formal Proofs 2016 (2016) - [j12]Manuel Eberl:
Randomised Social Choice Theory. Arch. Formal Proofs 2016 (2016) - [j11]Manuel Eberl:
Catalan Numbers. Arch. Formal Proofs 2016 (2016) - [j10]Manuel Eberl:
Stirling's formula. Arch. Formal Proofs 2016 (2016) - [j9]Manuel Eberl:
Fisher-Yates shuffle. Arch. Formal Proofs 2016 (2016) - 2015
- [j8]Manuel Eberl:
The Akra-Bazzi theorem and the Master theorem. Arch. Formal Proofs 2015 (2015) - [j7]Manuel Eberl:
Landau Symbols. Arch. Formal Proofs 2015 (2015) - [j6]Manuel Eberl:
Descartes' Rule of Signs. Arch. Formal Proofs 2015 (2015) - [j5]Manuel Eberl:
The Divergence of the Prime Harmonic Series. Arch. Formal Proofs 2015 (2015) - [j4]Manuel Eberl:
Basic Geometric Properties of Triangles. Arch. Formal Proofs 2015 (2015) - [j3]Manuel Eberl:
Liouville numbers. Arch. Formal Proofs 2015 (2015) - [c2]Manuel Eberl
:
A Decision Procedure for Univariate Real Polynomials in Isabelle/HOL. CPP 2015: 75-83 - [c1]Manuel Eberl
, Johannes Hölzl
, Tobias Nipkow
:
A Verified Compiler for Probability Density Functions. ESOP 2015: 80-104 - 2014
- [j2]Manuel Eberl:
Sturm's Theorem. Arch. Formal Proofs 2014 (2014) - [j1]Manuel Eberl, Johannes Hölzl, Tobias Nipkow:
A Verified Compiler for Probability Density Functions. Arch. Formal Proofs 2014 (2014)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint