Login / Signup
Rémy Garcia
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 3
Top Topics
Sparse Matrices
Error Analysis
Floating Point Arithmetic
Top Venues
VSTTE
Constraints An Int. J.
CP
</>
Publications
</>
Rémy Garcia
Floating-point numbers round-off error analysis by constraint programming.
Constraints An Int. J.
28 (3) (2023)
Rémy Garcia
,
Claude Michel
,
Michel Rueher
Rigorous Enclosure of Round-Off Errors in Floating-Point Computations.
VSTTE
(2020)
Rémy Garcia
,
Claude Michel
,
Michel Rueher
A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors.
CP
(2020)