Laurence Rideau

Available identifiers

zbMath Open rideau.laurenceMaRDI QIDQ928669

List of research outcomes

Publication	Date of Publication	Type
Accurate calculation of Euclidean norms using double-word arithmetic	2024-09-06	Paper
Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic”	2022-03-29	Paper
Distant decimals of \(\pi \): formal proofs of some algorithms computing them and guarantees of exact computation	2018-08-21	Paper
A machine-checked proof of the odd order theorem	2013-08-07	Paper
Incidence simplicial matrices formalized in Coq/SSReflect	2011-07-29	Paper
Packaging Mathematical Structures	2009-10-20	Paper
A Modular Formalisation of Finite Group Theory	2008-09-02	Paper
Tilting at windmills with Coq: Formal verification of a compilation algorithm for parallel moves	2008-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4790659	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4550799	2002-09-04	Paper

Research outcomes over time

This page was built for person: Laurence Rideau