A Succinct Multivariate Lazy Multivariate Tower AD for Weil Algebra Computation

Abstract

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 the previous work.

0

Turn this paper into a lesson

ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…