TY  - RPRT
TI  - Implementing an Automatic Differentiator in ACL2
AU  - Peter Reid
AU  - Ruben Gamboa
PY  - 2011
DO  - 10.4204/eptcs.70.5
UR  - https://arxiv.org/abs/1110.4674
ID  - 1110.4674
ER  -