From a92d30bcb954fdecb4baeae83e6cd61a4e4de8a7 Mon Sep 17 00:00:00 2001 From: RadioPotin Date: Mon, 23 Dec 2024 15:01:11 +0100 Subject: [PATCH] Add new publication and Params to fr content folder --- content/fr/deliverables.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/content/fr/deliverables.md b/content/fr/deliverables.md index 320c0d6..9aee2e3 100644 --- a/content/fr/deliverables.md +++ b/content/fr/deliverables.md @@ -32,6 +32,7 @@ project_deliverables: publications: - papername: "Formally Verified Rounding Errors of the Logarithm-Sum-Exponential Function" url: "https://inria.hal.science/hal-04674600" + wherepublished: "Formal Methods in Computer-Aided Design" date: "2024" authors: - "Paul Bonnot" @@ -39,4 +40,13 @@ publications: - "Florian Faissole" - "Claude Marché" - "Raphaël Rieu-Helft" + - papername: "Generating and Certifying Accuracy Properties of Floating-Point Programs" + url: "https://inria.hal.science/hal-04820735" + wherepublished: "Inria Research Report" + date: "2024" + authors: + - "Paul Bonnot" + - "Benoît Boyer" + - "Florian Faissole" + - "Claude Marché" ---