Beautiful differentiation

DOI10.1145/1596550.1596579MaRDI QIDQ2936816zbMATH OpenOpenAlexFDO

Authors Conal M. Elliott

Publication date 6 January 2015

Published in Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1596550.1596579

zbMATH Keywords

automatic differentiationprogram derivation

Mathematics Subject Classification ID

Numerical differentiation (65D25)

Recommendations

• scientific article; zbMATH DE number 5991949
• scientific article; zbMATH DE number 1857841
• A beautiful theorem
• The Arithmetic of Differentiation

Cited in

(13)

• Exact linear reduction for rational dynamical systems
• Correctness of automatic differentiation via diffeologies and categorical gluing
• Reverse AD at higher types: pure, principled and denotationally correct
• A new arithmetic for calculating the derivatives using forward mode AD and augmented algebra
• A Leibniz notation for automatic differentiation
• Lazy multivariate higher-order forward-mode AD
• Fast higher-order derivative tensors with Rapsodia
• Higher order automatic differentiation of higher order functions
• Derivation of Augmented Arithmetic for Computing Gradient, Hessian and Jacobian through Forward Mode AD Using Dual Numbers
• scientific article; zbMATH DE number 7779290 (Why is no real title available?)
• Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
• Small errors in random zeroth-order optimization are imaginary
• Automatic differentiation with higher infinitesimals, or computational smooth infinitesimal analysis in Weil algebra

This page was built for publication: Beautiful differentiation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2936816)