@misc{indiciae369a48af2a02,
  title = {Fourier Series Formalization in ACL2(r)},
  author = {Cuong K. Chau and Matt Kaufmann and Warren A. Hunt Jr.},
  year = {2015},
  doi = {10.4204/eptcs.192.4},
  url = {https://arxiv.org/abs/1509.06087},
  note = {Source identifier: 1509.06087}
}