1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2022
Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications
Rob Sumners, Cuong Chau
This volume contains a selection of papers presented at the 17th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022). The workshops are the premier t…
cs.LO2015★ 1 cited
Fourier Series Formalization in ACL2(r)
Cuong K. Chau, Matt Kaufmann, Warren A. Hunt
We formalize some basic properties of Fourier series in the logic of ACL2(r), which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-st…