Author:
Kwan Carl,Peng Yan,Greenstreet Mark R.
Publisher
Open Publishing Association
Reference4 articles.
1. A Macro for Reusing Abstract Functions and Theorems;Joosten;Electronic Proceedings in Theoretical Computer Science,2013
2. Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r);Kwan;Electronic Proceedings in Theoretical Computer Science,2018
3. Extending ACL2 with SMT Solvers;Peng;Electronic Proceedings in Theoretical Computer Science,2015
4. Smtlink 2.0;Peng;Electronic Proceedings in Theoretical Computer Science,2018
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Classical LU Decomposition in ACL2;Electronic Proceedings in Theoretical Computer Science;2023-11-14