Automatic differentiation with higher infinitesimals, or computational smooth infinitesimal analysis in Weil algebra

DOI10.1007/978-3-030-85165-1_11zbMath1495.68250arXiv2106.14153OpenAlexW3198224663MaRDI QIDQ831980

Hiromi Ishii

Publication date: 24 March 2022

Full work available at URL: https://arxiv.org/abs/2106.14153

zbMATH Keywords

Gröbner basisautomatic differentiationWeil algebrassmooth infinitesimal analysissymbolic-numeric algorithmssymbolic differentiationsmooth algebras and \(C^\infty \)-ringszero-dimensional ideals

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Numerical differentiation (65D25) Differentiation theory (Gateaux, Fréchet, etc.) on manifolds (58C20) Numerical algebraic geometry (65H14)

Uses Software

• GitHub
• computational-algebra

Cites Work

• Unnamed Item
• Unnamed Item
• A purely functional computer algebra system embedded in Haskell
• General Jacobi identity revisited again
• Beautiful differentiation
• Lazy multivariate higher-order forward-mode AD
• Using Algebraic Geometry
• Algebraic Geometry over 𝐶^{∞}-rings

This page was built for publication: Automatic differentiation with higher infinitesimals, or computational smooth infinitesimal analysis in Weil algebra