Tadjouddine, E. M., & Lv, W. (2014). Foundational Certification of Code Transformations Using Automatic Differentiation.
Computer Science
,
15
(2), 215.
https://doi.org/10.7494/csci.2014.15.2.215