Cited By
View all- Slagel JWhite LDutle AHriţcu CPopescu A(2021)Formal verification of semi-algebraic sets and real analytic functionsProceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3437992.3439933(278-290)Online publication date: 17-Jan-2021
- Lewis RMahboubi AMyreen M(2019)A formal proof of Hensel's lemma over the p-adic integersProceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3293880.3294089(15-26)Online publication date: 14-Jan-2019
- Bentkamp ABlanchette JKlakow D(2019)A Formal Proof of the Expressiveness of Deep LearningJournal of Automated Reasoning10.1007/s10817-018-9481-563:2(347-368)Online publication date: 1-Aug-2019
- Show More Cited By