Algorithmic differentiation in Axiom.

Jacob N. Smith Gabriel Dos Reis Jaakko Järvi

Published in: ISSAC (2007)

Keyphrases

modal logic
case study
data analysis
inference rules
database
data sets
machine learning
web services
cooperative
dynamic programming
knowledge discovery