Manuel Eberl
Manuel Eberl
PhD Student in Computer Science, Technische Universität München
Geverifieerd e-mailadres voor in.tum.de - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Proving the incompatibility of efficiency and strategyproofness via SMT solving
F Brandl, F Brandt, M Eberl, C Geist
Journal of the ACM (JACM) 65 (2), 1-28, 2018
282018
A decision procedure for univariate real polynomials in Isabelle/HOL
M Eberl
Proceedings of the 2015 Conference on Certified Programs and Proofs, 75-83, 2015
172015
Proving divide and conquer complexities in Isabelle/HOL
M Eberl
Journal of Automated Reasoning 58 (4), 483-508, 2017
152017
A Verified Compiler for Probability Density Functions
M Eberl
Technische Universität München, 2014
152014
Verified Analysis of Random Binary Tree Structures
M Eberl, MW Haslbeck, T Nipkow
52018
Efficient and verified computation of simulation relations on NFAs
M Eberl
Bachelor's thesis, Technische Universität München, 2012
52012
Verified solving and asymptotics of linear recurrences
M Eberl
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
42019
The incompatibility of Fishburnstrategyproofness and Pareto-efficiency
F Brandt, M Eberl, C Saile, C Stricker
Archive of Formal Proofs 2018, 2018
42018
Verified real asymptotics in Isabelle/HOL
M Eberl
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic …, 2019
32019
The incompatibility of SD-efficiency and SD-strategy-proofness
M Eberl
Archive of Formal Proofs 2016, 2016
32016
Catalan Numbers
M Eberl
22020
Nine Chapters of Analytic Number Theory in Isabelle/HOL
M Eberl
10th International Conference on Interactive Theorem Proving (ITP 2019), 2019
22019
Expected shape of random binary search trees
M Eberl
Archive of Formal Proofs (April 2017) http://isa-afp. org/entries …, 2017
22017
A formal proof of the Incompatibility of SD-Efficiency and SD-Strategy-Proofness
M Eberl
22016
Liouville numbers
M Eberl
Archive of Formal Proofs 2015, 2015
22015
Elementary facts about the distribution of primes
M Eberl
Archive of Formal Proofs 2019, 2019
12019
The prime number theorem
M Eberl, LC Paulson
Archive of Formal Proofs 2018, 2018
12018
Symmetric Polynomials
M Eberl
Archive of Formal Proofs 2018, 2018
12018
Bertrand’s postulate
J Biendarra, M Eberl
Archive of Formal Proofs 2017, 2017
12017
Monad normalisation
J Schneider, M Eberl, A Lochbihler
Archive of Formal Proofs 2017, 2017
12017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20