Bingham, Jesse. “Formalizing a Proof That E Is Transcendental”. Journal of Formalized Reasoning 4, no. 1 (January 1, 2011): 71–84. Accessed April 26, 2024. https://jfr.unibo.it/article/view/2269.