A Succinct Multivariate Lazy Multivariate Tower AD for Weil Algebra Computation
arXiv:2103.11615
Abstract
We propose a functional implementation of \emph{Multivariate Tower Automatic Differentiation}. Our implementation is intended to be used in implementing -structure computation of an arbitrary Weil algebra, which we discussed in the previous work.