TY  - RPRT
TI  - Fourier Series Formalization in ACL2(r)
AU  - Cuong K. Chau
AU  - Matt Kaufmann
AU  - Warren A. Hunt Jr.
PY  - 2015
DO  - 10.4204/eptcs.192.4
UR  - https://arxiv.org/abs/1509.06087
ID  - 1509.06087
ER  -