AI Chat AI Image Generator AI Video Text to Speech

A Succinct Multivariate Lazy Multivariate Tower AD for Weil Algebra Computation

03/22/2021

∙

by Hiromi Ishii, et al.

∙

∙

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.

page 1

page 2

page 3

page 4

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...

0 Hiromi Ishii, et al. ∙

research

∙ 12/14/2018

In Praise of Sequence (Co-)Algebra and its implementation in Haskell

What is Sequence Algebra? This is a question that any teacher or student...

0 Kieran Clenaghan, et al. ∙

research

∙ 11/08/2016

Sparse multivariate factorization by mean of a few bivariate factorizations

We describe an algorithm to factor sparse multivariate polynomials using...

0 Bernard Parisse, et al. ∙

research

∙ 01/20/2021

Automatic Differentiation via Effects and Handlers: An Implementation in Frank

Automatic differentiation (AD) is an important family of algorithms whic...

0 Jesse Sigal, et al. ∙

research

∙ 11/23/2022

A framework for structural shape optimization based on automatic differentiation, the adjoint method and accelerated linear algebra

Shape optimization is of great significance in structural engineering, a...

0 Gaoyuan Wu, et al. ∙

research

∙ 12/20/2019

(Newtonian) Space-Time Algebra

The space-time (s-t) algebra provides a mathematical model for communica...

0 James E. Smith, et al. ∙

research

∙ 11/12/2022

Distributed and secure linear algebra – Master Thesis

Cryptography is the discipline that allows securing of the exchange of i...

0 Hugo Mirault, et al. ∙