A language for evaluating derivatives of functionals using automatic differentiation

DOI10.46298/ENTICS.12303MaRDI QIDQ6831473zbMATH OpenFDO

Authors Pietro Di Gianantonio, Abbas Edalat, Ran Gutin

Publication date 2 April 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/ENTICS.12303

zbMATH Keywords

domain theoryautomatic differentiationClarke's gradientexact real number computationtyped lambda-calculusGateaux derivative

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• scientific article; zbMATH DE number 5285446 (Why is no real title available?)
• scientific article; zbMATH DE number 43688 (Why is no real title available?)
• scientific article; zbMATH DE number 46303 (Why is no real title available?)
• scientific article; zbMATH DE number 3484411 (Why is no real title available?)
• scientific article; zbMATH DE number 1113627 (Why is no real title available?)
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• scientific article; zbMATH DE number 7566054 (Why is no real title available?)
• scientific article; zbMATH DE number 2201476 (Why is no real title available?)
• scientific article; zbMATH DE number 3232606 (Why is no real title available?)
• scientific article; zbMATH DE number 3281219 (Why is no real title available?)
• A Domain-Theoretic Account of Picard's Theorem
• A Hitchhiker's guide to automatic differentiation
• A language for differentiable functions
• A simply typed -calculus of forward automatic differentiation
• An abstract data type for real numbers
• Automatic Fréchet differentiation for the numerical solution of boundary-value problems
• Continuous Lattices and Domains
• Convex Analysis
• Correctness of automatic differentiation via diffeologies and categorical gluing
• Evaluating Derivatives
• Generic Differentiability of Lipschitzian Functions
• Integration in Real PCF
• Lectures on quantum mechanics
• On the versatility of open logical relations. Continuity, automatic differentiation, and a containment theorem
• PCF extended with real numbers
• Spaces of maximal points
• Structure and interpretation of classical mechanics
• The chebop system for automatic solution of differential equations
• The difference -calculus: a language for difference categories
• The differential lambda-calculus
• Total objects of domains

Cited in

(1)

• Combining fixpoint and differentiation theory

This page was built for publication: A language for evaluating derivatives of functionals using automatic differentiation

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