Tadjouddine, Emmanuel M., and Wenjin Lv. “Foundational Certification of Code Transformations Using Automatic Differentiation”. Computer Science 15, no. 2 (March 14, 2014): 215. Accessed December 4, 2024. https://journals.agh.edu.pl/csci/article/view/756.