Sophie Bernard

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 3

Top Topics

Algebraic Geometry

Statistical Tests

Top Venues

Publications

Sophie Bernard, Cyril Cohen, Assia Mahboubi, Pierre-Yves Strub
Unsolvability of the Quintic Formalized in Dependent Type Theory. ITP (2021)
Sophie Bernard
Formalization of the Lindemann-Weierstrass Theorem. ITP (2017)
Sophie Bernard, Yves Bertot, Laurence Rideau, Pierre-Yves Strub
Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials. CPP (2016)
Sophie Bernard, Yves Bertot, Laurence Rideau, Pierre-Yves Strub
Formal Proofs of Transcendence for e and $π$ as an Application of Multivariate and Symmetric Polynomials. CoRR (2015)