Section: New Results

Proofs of transcendence

Participants : Sophie Bernard, Yves Bertot, Laurence Rideau.

Sophie Bernard completed a proof of the Lindemann-Weierstrass theorem concerning the algebraic independence of spans of exponentials of rationally dependent numbers. This result required that we extend the theory of symmetric multivariate polynomials in order to formalize the notion of conjugates of a polynomial. This was described in an article presented at an international conference [13] and at a workshop associated to ANR project FastRelax.