Obserwuj
Manuel Eberl
Tytuł
Cytowane przez
Cytowane przez
Rok
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
572018
Proving divide and conquer complexities in Isabelle/HOL
M Eberl
Journal of Automated Reasoning 58, 483-508, 2017
312017
A Verified Compiler for Probability Density Functions
M Eberl
Technische Universität München, 2014
312014
Verified Analysis of Random Binary Tree Structures
M Eberl, MW Haslbeck, T Nipkow
24*2018
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
212015
Verified Textbook Algorithms: a Biased Survey
T Nipkow, M Eberl, MPL Haslbeck
International Symposium on Automated Technology for Verification and …, 2020
192020
Fisher-yates shuffle
M Eberl
Arch. Formal Proofs 2016, 19, 2016
152016
Verified real asymptotics in Isabelle/HOL
M Eberl
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic …, 2019
142019
Functional Algorithms, Verified
T Nipkow, J Blanchette, M Eberl, A Gómez-Londoño, P Lammich, ...
122021
Nine chapters of analytic number theory in Isabelle/HOL
M Eberl
10th International Conference on Interactive Theorem Proving (ITP 2019), 2019
122019
Archive of formal proofs
M Eberl, G Klein, T Nipkow, L Paulson, R Thiemann
Online Journal. URL: https://www. isa-afp. org, 1994
91994
The incompatibility of Fishburnstrategyproofness and Pareto-efficiency
F Brandt, M Eberl, C Saile, C Stricker
Archive of Formal Proofs, 2018
72018
Strategyproofness and proportionality in party-approval multiwinner elections
T Delemazure, T Demeulemeester, M Eberl, J Israel, P Lederer
Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 5591-5599, 2023
62023
Verified solving and asymptotics of linear recurrences
M Eberl
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
62019
Randomised social choice theory
M Eberl
Archive of Formal Proofs, 2016
62016
Minkowski’s theorem
M Eberl
Archive of Formal Proofs, 2017
52017
Basic geometric properties of triangles
M Eberl
Archive of Formal Proofs, 2015
52015
Factorization of polynomials with algebraic coefficients
M Eberl, R Thiemann
Archive of Formal Proofs, 2021
42021
Gaussian integers
M Eberl
Archive of Formal Proofs, 2020
42020
The prime number theorem
M Eberl, LC Paulson
Archive of Formal Proofs, 2018
42018
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20