Implementing an Automatic Differentiator in ACL2

Peter Reid Ruben Gamboa

Published in: ACL2 (2011)

Keyphrases

semi automatic
fully automatic
multiscale
real time
neural network
real world
case study
wide range
expert systems