Implementing an automatic differentiator in ACL2

DOI10.4204/eptcs.70.5zbMATH Open1542.68233MaRDI QIDQ6586532FDOQ6586532

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)