Laurence Rideau

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 5

Top Topics

Hermite Transform

Multivariate Normal

Statistical Tests

Top Venues

ACM Trans. Math. Softw.

Publications

Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller, Joris Picot, Laurence Rideau
Accurate Calculation of Euclidean Norms Using Double-word Arithmetic. ACM Trans. Math. Softw. 49 (1) (2023)
Jean-Michel Muller, Laurence Rideau
Formalization of Double-Word Arithmetic, and Comments on "Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic". ACM Trans. Math. Softw. 48 (1) (2022)
Yves Bertot, Laurence Rideau, Laurent Théry
Distant Decimals of π : Formal Proofs of Some Algorithms Computing Them and Guarantees of Exact Computation. J. Autom. Reason. 61 (1-4) (2018)
Yves Bertot, Laurence Rideau, Laurent Théry
Distant decimals of $π$. CoRR (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)
Érik Martin-Dorel, Laurence Rideau, Laurent Théry, Micaela Mayero, Ioana Pasca
Certified, Efficient and Sharp Univariate Taylor Models in COQ. SYNASC (2013)
Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry
A Machine-Checked Proof of the Odd Order Theorem. ITP (2013)
Nicolas Brisebarre, Mioara Joldes, Érik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Pasca, Laurence Rideau, Laurent Théry
Rigorous Polynomial Approximation Using Taylor Models in Coq. NASA Formal Methods (2012)
Jónathan Heras, María Poza, Maxime Dénès, Laurence Rideau
Incidence Simplicial Matrices Formalized in Coq/SSReflect. Calculemus/MKM (2011)
François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau
Packaging Mathematical Structures. TPHOLs (2009)
Laurence Rideau, Bernard P. Serpette, Xavier Leroy
Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves. J. Autom. Reason. 40 (4) (2008)
Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry
A Modular Formalisation of Finite Group Theory. TPHOLs (2007)
Philippe Audebaud, Laurence Rideau
TEXmacs as Authoring Tool for Formal Developments. Electron. Notes Theor. Comput. Sci. 103 (2004)
Hanane Naciri, Laurence Rideau
Affichage et manipulation interactive de formules mathématiques dans les documents structurés. ARIMA J. 1 (2002)
Marc Daumas, Laurence Rideau, Laurent Théry
A Generic Library for Floating-Point Numbers and Its Application to Exact Computing. TPHOLs (2001)
Yves Bertot, Laurence Rideau, Loïc Pottier, Laurent Thiry
CtCoq: an environment for mathematical reasoning. SIGSAM Bull. 33 (3) (1999)
Michel Auguin, Mohamed Belhadj, Judith Benzakki, C. Carrière, Guy Durrieu, Thierry Gautier, Michel Israël, Paul Le Guernic, Michel Lemaître, E. Martin, Patrice Quinton, Laurence Rideau, Frédéric Rousseau, Olivier Sentieys
Towards a multi-formalism framework for architectural synthesis: the ASAR project. CODES (1994)