aude (cargo): An automated differentiation solver with a Lisp-like functional programming language
Keywords: solver|automatic|differentation|advancedresearch|lisp