Login / Signup

Fourier Series Formalization in ACL2(r).

Cuong K. ChauMatt KaufmannWarren A. Hunt Jr.
Published in: ACL2 (2015)
Keyphrases