Laurence Rideau
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2013–2016
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |
| 2013 | ITP | A Machine-Checked Proof of the Odd Order Theorem. | Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, Franois Garillot, Stphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Thry |
| 2013 | SYNASC | Certified, Efficient and Sharp Univariate Taylor Models in COQ. | rik Martin-Dorel, Laurence Rideau, Laurent Thry, Micaela Mayero, Ioana Pasca |