We propose a functional implementation of \emph{Multivariate Tower Automatic Differentiation}. Our implementation is intended to be used in implementing $C^\infty$-structure computation of an arbitrary Weil algebra, which we discussed in the previous work.

中文翻译：

---

威尔代数计算的简洁多元懒散多元塔式广告

我们提出\ emph {Multipleate Tower Automatic Differentiation}的功能实现。我们的实现旨在用于实现任意Weil代数的$ C ^ \ infty $-结构计算，我们在先前的工作中已经进行了讨论。