Author:
Barbosa Haniel,Reynolds Andrew,El Ouraoui Daniel,Tinelli Cesare,Barrett Clark
Publisher
Springer International Publishing
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Mechanical Mathematicians;Communications of the ACM;2023-03-23
2. Compositional Pre-processing for Automated Reasoning in Dependent Type Theory;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11
3. Hammering Floating-Point Arithmetic;Frontiers of Combining Systems;2023
4. Recurrence-Driven Summations in Automated Deduction;Frontiers of Combining Systems;2023
5. Extending a High-Performance Prover to Higher-Order Logic;Tools and Algorithms for the Construction and Analysis of Systems;2023