A Succinct Multivariate Lazy Multivariate Tower AD for Weil Algebra Computation (Computer Algebra - Theory and its Applications)
Hiromi Ishii · Institutional Repositories DataBase (IRDB) · 2021
We propose a functional implementation of multivariate Tower Automatic Differentiation. Our implementation is intended to be used in implementing C^∞-structure computation of an arbitrary Weil algebra, which we discussed in [5].