Tadjouddine EM, Lv W. Foundational Certification of Code Transformations Using Automatic Differentiation. csci [Internet]. 2014Mar.14 [cited 2024Dec.4];15(2):215. Available from: https://journals.agh.edu.pl/csci/article/view/756