Funder
Deutsche Forschungsgemeinschaft (DE)
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference14 articles.
1. Akra, M., Bazzi, L.: On the solution of linear recurrence equations. Comput. Optim. Appl. 10(2), 195–210 (1998). doi:
10.1023/A:1018373005182
2. Avigad, J., Donnelly, K.: Formalizing
$$O$$
O
notation in Isabelle/HOL. In: Basin, D., Rusinowitch, M. (eds.) Automated Reasoning, Lecture Notes in Computer Science, pp. 357–371. Springer, Berlin (2004). doi:
10.1007/978-3-540-25984-8_27
3. Avigad, J., Hölzl, J., Serafin, L.: A formally verified proof of the central limit theorem. CoRR abs/1405.7012 (2014). Presented at the Isabelle Workshop 2014
4. Ballarin, C.: Locales: a module system for mathematical theories. J. Autom. Reason. 52(2), 123–153 (2014). doi:
10.1007/s10817-013-9284-7
5. Bazzi, L., Mitter, S.K.: The solution of linear probabilistic recurrence relations. Algorithmica 36(1), 41–57 (2003). doi:
10.1007/s00453-002-1003-4
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Synthesis with Asymptotic Resource Bounds;Computer Aided Verification;2021
2. Mechanisation of the AKS Algorithm;Journal of Automated Reasoning;2020-09-02
3. Formalization of continuous Fourier transform in verifying applications for dependable cyber-physical systems;Journal of Systems Architecture;2020-06
4. Proof pearl: Braun trees;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20
5. Verification of Closest Pair of Points Algorithms;Automated Reasoning;2020