受强制性开放获取政策约束的文章 - Manuel Eberl了解详情
可在其他位置公开访问的文章：10 篇
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
强制性开放获取政策： German Research Foundation
Proving divide and conquer complexities in Isabelle/HOL
M Eberl
Journal of Automated Reasoning 58, 483-508, 2017
强制性开放获取政策： German Research Foundation
Verified Analysis of Random Binary Tree Structures
M Eberl, MW Haslbeck, T Nipkow
强制性开放获取政策： Austrian Science Fund, German Research Foundation
Verified Textbook Algorithms: a Biased Survey
T Nipkow, M Eberl, MPL Haslbeck
International Symposium on Automated Technology for Verification and …, 2020
强制性开放获取政策： German Research Foundation
Verified real asymptotics in Isabelle/HOL
M Eberl
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic …, 2019
强制性开放获取政策： German Research Foundation
Nine chapters of analytic number theory in Isabelle/HOL
M Eberl
10th International Conference on Interactive Theorem Proving (ITP 2019), 2019
强制性开放获取政策： German Research Foundation, European Commission
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
强制性开放获取政策： Research Foundation (Flanders), German Research Foundation, Agence Nationale …
Verified solving and asymptotics of linear recurrences
M Eberl
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
强制性开放获取政策： German Research Foundation
Factorization of polynomials with algebraic coefficients
M Eberl, R Thiemann
Archive of Formal Proofs, 2021
强制性开放获取政策： Austrian Science Fund
Formalising Half of a Graduate Textbook on Number Theory (Short Paper)
M Eberl, A Bordg, LC Paulson, W Li
15th International Conference on Interactive Theorem Proving (ITP 2024), 2024
强制性开放获取政策： European Commission
出版信息和资助信息由计算机程序自动确定