98 citations · 200 across the 15 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
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…
cs.LO2015
Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications
Matt Kaufmann, David L. Rager
This volume contains the proceedings of the Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, ACL2 2015, a two-day workshop held in Austin, Texas,…