Section: New Results

Proofs of transcendence

Participants : Sophie Bernard, Yves Bertot, Laurence Rideau.

In the previous year, we developed formally verified proofs that $e$ and $\pi$ are transcendental. This result was published this year at the CPP conference (Certified Programs and Proofs) [12]. Since October, as part of the PhD of Sophie Bernard, we are working on the generalisation of these proofs, in order to prove the Lindemann theorem that states that no algebraic spans of exponentials of algebraic numbers can be equal to zero under some assumptions.