Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Programming Languages
  4. Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing

Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing

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

Journal
CoRR
Volume
abs/2001.02209
Year
2020

Links

See Also

Back to Top