Author:
Tassarotti Joseph,Harper Robert
Publisher
Springer International Publishing
Reference53 articles.
1. Affeldt, R., Hagiwara, M.: Formalization of Shannon’s theorems in SSReflect-Coq. In: ITP, pp. 233–249 (2012)
2. Akra, M., Bazzi, L.: On the solution of linear recurrence equations. Comp. Opt. Appl. 10(2), 195–210 (1998)
3. Audebaud, P., Paulin-Mohring, C.: Proofs of randomized algorithms in Coq. Sci. Comput. Program. 74(8), 568–589 (2009)
4. Avigad, J., Hölzl, J., Serafin, L.: A formally verified proof of the Central Limit Theorem. CoRR abs/1405.7012 (2014). http://arxiv.org/abs/1405.7012
5. Barthe, G., Crespo, J.M., Grégoire, B., Kunz, C., Béguelin, S.Z.: Computer-aided cryptographic proofs. In: ITP, pp. 11–27 (2012)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献