research
∙
06/27/2021
Automatic Differentiation With Higher Infinitesimals, or Computational Smooth Infinitesimal Analysis in Weil Algebra
We propose an algorithm to compute the C^∞-ring structure of arbitrary W...
research
∙
03/22/2021
Functional Pearl: Witness Me – Constructive Arguments Must Be Guided with Concrete Witness
Beloved Curry–Howard correspondence tells that types are intuitionistic ...
research
∙
03/22/2021
A Succinct Multivariate Lazy Multivariate Tower AD for Weil Algebra Computation
We propose a functional implementation of Multivariate Tower Automatic D...
research
∙
07/04/2018