Automatic Differentiation in ACL2.

Peter Reid Ruben Gamboa

Published in: ITP (2011)

Keyphrases

fully automatic
three dimensional
probability distribution
machine learning
information retrieval
social networks
case study
wide range
preprocessing