Implementing an automatic differentiator in ACL2

DOI10.4204/eptcs.70.5MaRDI QIDQ6586532zbMATH OpenFDO

Authors Peter Reid, Ruben A. Gamboa

Publication date 13 August 2024

Mathematics Subject Classification ID

Formalization of mathematics in connection with theorem provers (68V20) Differentiation (real functions of one variable): general theory, generalized derivatives, mean value theorems (26A24)

Recommendations

• Automatic differentiation in ACL2
• scientific article; zbMATH DE number 5353267
• scientific article; zbMATH DE number 4080744
• Algorithmic differentiation in Axiom
• The application of automatic differentiation to problems in engineering analysis

Cites work

• scientific article; zbMATH DE number 192976 (Why is no real title available?)
• scientific article; zbMATH DE number 861256 (Why is no real title available?)
• Automatic differentiation in ACL2

This page was built for publication: Implementing an automatic differentiator in ACL2

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