Sophie Bernard

D ec 2 01 5 Formal Proofs of Transcendence for e and π as an Application of Multivariate and Symmetric Polynomials ∗

Yves Bertot, L. Rideau, Sophie Bernard, 2018 .

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

Pierre-Yves Strub, Yves Bertot, Laurence Rideau, 2015, CPP.