Funder
Division of Mathematical Sciences
Air Force Office of Scientific Research
Deutsche Forschungsgemeinschaft
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference22 articles.
1. Avigad, J., Hölzl, J., Serafin, L.: A formally verified proof of the central limit theorem (preliminary announcement) CoRR (2014).
http://arxiv.org/abs/1405.7012v1
2. Lecture Notes in Artificial Intelligence;C Ballarin,2006
3. Billingsley, P.: Probability and Measure. Wiley Series in Probability and Mathematical Statistics, A Wiley-Interscience Publication, 3rd edn. Wiley, New York (1995)
4. Boldo, S., Lelay, C., Melquiond, G.: Improving real analysis in coq: a user-friendly approach to integrals and derivatives. In: Hawblitzel, C., Miller, D. (eds.) Certified Programs and Proofs—-Second International Conference, CPP 2012, Kyoto, Japan, December 13–15, 2012. Proceedings, volume 7679 of Lecture Notes in Computer Science, pp. 289–304. Springer (2012)
5. Boldo, S., Lelay, C., Melquiond, G.: Formalization of real analysis: a survey of proof assistants and libraries. Math. Struct. Comput. Sci. 26(7), 1196–1233 (2016)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献