Analytical differential calculus with integration

DOI10.4230/LIPICS.ICALP.2021.143MaRDI QIDQ7241243zbMATH OpenFDO

Authors Han Xu, Zhenjiang Hu

Publication date 12 May 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.ICALP.2021.143

zbMATH Keywords

adaptive computingdifferential calculusincremental computationintegrationlambda calculus

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cites work

• A simply typed -calculus of forward automatic differentiation
• Adaptive functional programming
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Automatic differentiation variational inference
• Efficiency by incrmentalization: An introduction
• Evaluating Derivatives
• Finite Differencing of Computable Expressions
• Fixing incremental computation. Derivatives of fixpoints, and the recursive semantics of Datalog
• scientific article; zbMATH DE number 6982909 (Why is no real title available?)
• Imperative self-adjusting computation
• Incremental -calculus in cache-transfer style. Static memoization by program transformation
• Nesting forward-mode AD in a functional framework
• The differential lambda-calculus
• Types and programing languages

This page was built for publication: Analytical differential calculus with integration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7241243)