Skip to main content

Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing

Mathieu Huot‚ Sam Staton and Matthijs Vákár

Journal
arXiv preprint arXiv:2001.02209
Year
2020