Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials

Sophie Bernard, Yves Bertot, Laurence Rideau, Pierre-Yves Strub. Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials. In Jeremy Avigad, Adam Chlipala, editors, Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016. pages 76-87, ACM, 2016. [doi]

Abstract

Abstract is missing.