Laurence Rideau

According to our database, Laurence Rideau authored at least 18 papers between 1994 and 2023.

Collaborative distances:

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

2023

Accurate Calculation of Euclidean Norms Using Double-word Arithmetic.

Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller, Joris Picot, Laurence Rideau

ACM Trans. Math. Softw., March, 2023

2022

Formalization of Double-Word Arithmetic, and Comments on "Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic".

Jean-Michel Muller, Laurence Rideau

ACM Trans. Math. Softw., 2022

2018

Distant Decimals of π : Formal Proofs of Some Algorithms Computing Them and Guarantees of Exact Computation.

Yves Bertot, Laurence Rideau, Laurent Théry

J. Autom. Reason., 2018

2017

Distant decimals of $π$.

Yves Bertot, Laurence Rideau, Laurent Théry

CoRR, 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

2013

Certified, Efficient and Sharp Univariate Taylor Models in COQ.

Érik Martin-Dorel, Laurence Rideau, Laurent Théry, Micaela Mayero, Ioana Pasca

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

A Machine-Checked Proof of the Odd Order Theorem.

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

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012

Rigorous Polynomial Approximation Using Taylor Models in Coq.

Nicolas Brisebarre, Mioara Joldes, Érik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Pasca, Laurence Rideau, Laurent Théry

Proceedings of the NASA Formal Methods, 2012

2011

Incidence Simplicial Matrices Formalized in Coq/SSReflect.

Jónathan Heras, María Poza, Maxime Dénès, Laurence Rideau

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2009

Packaging Mathematical Structures.

François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

2008

Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves.

Laurence Rideau, Bernard P. Serpette, Xavier Leroy

J. Autom. Reason., 2008

2007

A Modular Formalisation of Finite Group Theory.

Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

2003

TEXmacs as Authoring Tool for Formal Developments.

Philippe Audebaud, Laurence Rideau

Proceedings of the User Interfaces for Theorem Provers Workshop, 2003

2002

Affichage et manipulation interactive de formules mathématiques dans les documents structurés.

Hanane Naciri, Laurence Rideau

ARIMA J., 2002

2001

A Generic Library for Floating-Point Numbers and Its Application to Exact Computing.

Marc Daumas, Laurence Rideau, Laurent Théry

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

1999

CtCoq: an environment for mathematical reasoning.

Yves Bertot, Laurence Rideau, Loïc Pottier, Laurent Thiry

SIGSAM Bull., 1999

1994

Towards a multi-formalism framework for architectural synthesis: the ASAR project.

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

Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994