Sophie Bernard

According to our database, Sophie Bernard authored at least 4 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Unsolvability of the Quintic Formalized in Dependent Type Theory.

Sophie Bernard, Cyril Cohen, Assia Mahboubi, Pierre-Yves Strub

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2017

Formalization of the Lindemann-Weierstrass Theorem.

Sophie Bernard

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2016

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

Sophie Bernard, Yves Bertot, Laurence Rideau, Pierre-Yves Strub

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

2015

Formal Proofs of Transcendence for e and $π$ as an Application of Multivariate and Symmetric Polynomials.

Sophie Bernard, Yves Bertot, Laurence Rideau, Pierre-Yves Strub

CoRR, 2015