Manuel Eberl
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Formalising half of a graduate textbook on number theory (short paper) | 2026-02-10 | Paper |
| Nine Chapters of Analytic Number Theory in Isabelle/HOL. | 2023-02-03 | Paper |
| Verified Textbook Algorithms 1517.68443 | 2022-12-22 | Paper |
| Verified analysis of random binary tree structures Journal of Automated Reasoning | 2020-11-02 | Paper |
| Verified Real Asymptotics in Isabelle/HOL Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation | 2020-09-10 | Paper |
| Verifying randomised social choice | 2020-05-13 | Paper |
| Proving the incompatibility of efficiency and strategyproofness via SMT solving Journal of the ACM | 2018-12-06 | Paper |
| Verified analysis of random binary tree structures Interactive Theorem Proving | 2018-10-04 | Paper |
| Proving divide and conquer complexities in Isabelle/HOL Journal of Automated Reasoning | 2017-07-06 | Paper |
| A verified compiler for probability density functions Programming Languages and Systems | 2016-04-26 | Paper |
Research outcomes over time
This page was built for person: Manuel Eberl
