共 50 条
- [1] A Formalization of Powerlist Algebra in ACL2 [J]. Journal of Automated Reasoning, 2009, 43 : 139 - 172
- [2] Fourier Series Formalization in ACL2(r) [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (192): : 35 - 51
- [3] The Fundamental Theorem of Algebra in ACL2 [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (280): : 98 - 110
- [5] Verified computer algebra in ACL2 (Grobner bases computation) [J]. ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 2004, 3249 : 171 - 184
- [6] ACL2(ml): Machine-Learning for ACL2 [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (152): : 61 - 75
- [8] Iteration in ACL2 [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (327): : 16 - 31
- [9] How Can I Do That with ACL2? Recent Enhancements to ACL2 [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (70): : 46 - 60