Laurence Rideau - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 15 from 15

2023

Accurate Calculation of Euclidean Norms Using Double-word ArithmeticVincent Lefèvre, Nicolas Louvet, Jean-Michel Muller, Joris Picot, Laurence Rideau. TOMS, 49(1), March 2023. [doi]

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. TOMS, 48(1), 2022. [doi]

2018

Distant Decimals of π : Formal Proofs of Some Algorithms Computing Them and Guarantees of Exact ComputationYves Bertot, Laurence Rideau, Laurent Théry. JAR, 61(1-4):33-71, 2018. [doi]

2016

Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomialsSophie Bernard, Yves Bertot, Laurence Rideau, Pierre-Yves Strub. CPP 2016: 76-87 [doi]

2013

2012

Rigorous Polynomial Approximation Using Taylor Models in CoqNicolas Brisebarre, Mioara Joldes, Érik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Pasca, Laurence Rideau, Laurent Théry. NFM 2012: 85-99 [doi]

2011

Incidence Simplicial Matrices Formalized in Coq/SSReflectJónathan Heras, María Poza, Maxime Dénès, Laurence Rideau. mkm 2011: 30-44 [doi]

2009

Packaging Mathematical StructuresFranÃ§ois Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau. tphol 2009: 327-342 [doi]

2008

Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel MovesLaurence Rideau, Bernard P. Serpette, Xavier Leroy. JAR, 40(4):307-326, 2008. [doi]

2007

A Modular Formalisation of Finite Group TheoryGeorges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry. tphol 2007: 86-101 [doi]

2004

TEXmacs as Authoring Tool for Formal DevelopmentsPhilippe Audebaud, Laurence Rideau. ENTCS, 103:27-48, 2004. [doi]

2002

Affichage et manipulation interactive de formules mathématiques dans les documents structurésHanane Naciri, Laurence Rideau. arima, 1:5, 2002. [doi]

2001

A Generic Library for Floating-Point Numbers and Its Application to Exact ComputingMarc Daumas, Laurence Rideau, Laurent Théry. tphol 2001: 169-184 [doi]

1994

Towards a multi-formalism framework for architectural synthesis: the ASAR projectMichel Auguin, Mohamed Belhadj, Judith Benzakki, C. Carrière, Guy Durrieu, Thierry Gautier, Michel Israël, Paul Le Guernic, Michel Lemaître, E. Martin, P. Quinton, Laurence Rideau, François Rousseau, Olivier Sentieys. codes 1994: 25-32 [doi]

Sign in or sign up to see more results.

runs on WebDSL