Laurence Rideau

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Accurate calculation of Euclidean norms using double-word arithmetic ACM Transactions on Mathematical Software	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” ACM Transactions on Mathematical Software	2022-03-29	Paper
Distant decimals of \(\pi \): formal proofs of some algorithms computing them and guarantees of exact computation Journal of Automated Reasoning	2018-08-21	Paper
A machine-checked proof of the odd order theorem Interactive Theorem Proving	2013-08-07	Paper
Incidence simplicial matrices formalized in Coq/SSReflect Lecture Notes in Computer Science	2011-07-29	Paper
Packaging Mathematical Structures Lecture Notes in Computer Science	2009-10-20	Paper
A Modular Formalisation of Finite Group Theory Lecture Notes in Computer Science	2008-09-02	Paper
Tilting at windmills with Coq: Formal verification of a compilation algorithm for parallel moves Journal of Automated Reasoning	2008-06-11	Paper
scientific article; zbMATH DE number 1863384 (Why is no real title available?)	2003-02-04	Paper
scientific article; zbMATH DE number 1795745 (Why is no real title available?)	2002-09-04	Paper

Research outcomes over time

This page was built for person: Laurence Rideau