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]
No references recorded for this publication.
No citations of this publication recorded.