Automatic Differentiation in ACL2

DOI10.1007/978-3-642-22863-6_23zbMath1342.68301OpenAlexW2280334138MaRDI QIDQ3088015

Ruben A. Gamboa, Peter Reid

Publication date: 17 August 2011

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22863-6_23

zbMATH Keywords

automatic differentiationnonstandard analysisACL2

Mathematics Subject Classification ID

Differentiation (real functions of one variable): general theory, generalized derivatives, mean value theorems (26A24) Software, source code, etc. for problems pertaining to real functions (26-04) Nonstandard analysis (26E35)

Related Items (1)

Formalization of real analysis: a survey of proof assistants and libraries

Uses Software

• ACL2
• ADIFOR
• ADIC
• Autodiff

Cites Work

• Unnamed Item
• Unnamed Item
• On the implementation of automatic differentiation tools
• Evaluating Derivatives
• Nonstandard analysis in ACL2

This page was built for publication: Automatic Differentiation in ACL2