Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

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.