Author of the publication

Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials.

, , , and . CPP, page 76-87. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formalization of the Lindemann-Weierstrass Theorem.. ITP, volume 10499 of Lecture Notes in Computer Science, page 65-80. Springer, (2017)Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials., , , and . CPP, page 76-87. ACM, (2016)Unsolvability of the Quintic Formalized in Dependent Type Theory., , , and . ITP, volume 193 of LIPIcs, page 8:1-8:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Vers un capitalisme de plateforme~? Mobiliser le travail, contourner les régulations, and . La Nouvelle Revue du Travail, (July 2018)