Automatic Differentiation with Higher Infinitesimals, or Computational Smooth Infinitesimal Analysis in Weil Algebra.

Hiromi Ishii

Browse the full CASC paper archive.