Sophie Bernard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2016–2021
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ITP | Unsolvability of the Quintic Formalized in Dependent Type Theory. | Sophie Bernard, Cyril Cohen, Assia Mahboubi, Pierre-Yves Strub |
| 2017 | ITP | Formalization of the Lindemann-Weierstrass Theorem. | Sophie Bernard |
| 2016 | CPP | 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 |