2023-report.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2023-report.cite -ob 2023-report.bib -c 'year = 2023 and topics : "team" and ($type="techreport" or $type="manual" or $type="mastersthesis")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@techreport{bonnot23rr,
topics = {team},
author = {Bonnot, Paul and Boyer, Beno\^it and Faissole, Florian and March\'e, Claude and
Rieu-Helft, Rapha\"el},
title = {Formally Verified Bounds on Rounding Errors in Concrete Implementations of Logarithm-Sum-Exponential Functions},
institution = {Inria},
type = {Research Report},
number = 9531,
year = 2023,
hal = {https://inria.hal.science/hal-04343157}
}
@techreport{boldo23rr,
topics = {team},
title = {{Lebesgue} Induction and {Tonelli}'s Theorem in {Coq}},
author = {Boldo, Sylvie and Cl{\'e}ment, Fran{\c c}ois and Martin, Vincent and Mayero, Micaela and Mouhcine, Houda},
hal = {https://inria.hal.science/hal-03564379},
type = {Research Report},
number = 9457,
institution = {Inria},
year = 2023
}