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

Browse the full CPP paper archive.