TY  - RPRT
TI  - Formal Proofs of Transcendence for e and $π$ as an Application of Multivariate and Symmetric Polynomials
AU  - Sophie Bernard
AU  - Yves Bertot
AU  - Laurence Rideau
AU  - Pierre-Yves Strub
PY  - 2015
UR  - https://arxiv.org/abs/1512.02791
ID  - 1512.02791
ER  -