Section: New Results

Proofs of transcendence

Participants : Sophie Bernard, Yves Bertot, Laurence Rideau.

The work on proofs of transcendence that was started the previous year was completed this year by an effort to integrate generic part of the proofs in the Mathematical Components library. A public package for easy re-use by other researchers was also developed.