Affeldt, Reynald, Cyril Cohen, and Damien Rouhling. “Formalization Techniques for Asymptotic Reasoning in Classical Analysis”. Journal of Formalized Reasoning 11, no. 1 (January 1, 2018): 43–76. Accessed April 26, 2024. https://jfr.unibo.it/article/view/8124.