Sylvie Boldo - Publications, H-index & Citations

Sylvie Boldo

Universite Paris Saclay

20H指数

127论文数

1.2K被引数

收录论文 8

发表时间

Floating-point arithmetic

ACTA NUMERICA

IF11.3

2023-05-11

OAAI

Boldo, Sylvie; Jeannerod, Claude-Pierre; Melquiond, Guillaume; Muller, Jean-Michel

Bounding the Round-Off Error of the Upwind Scheme for Advection

IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING

IF5.4

2022-07-01

OAAI

Ben Salem-Knapp, Louise; Boldo, Sylvie; Weens, William

Emulating Round-to-Nearest Ties-to-Zero Augmented Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2021-07-01

OAAI

Boldo, Sylvie; Lauter, Christoph; Muller, Jean-Michel

Round-Off Error and Exceptional Behavior Analysis of Explicit Runge-Kutta Methods

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2020-12-01

OAAI

Boldo, Sylvie; Faissole, Florian; Chapoutot, Alexandre

Exact and Approximated Error of the FMA

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2011-02-01

OAAI

Boldo, Sylvie; Muller, Jean-Michel

Formally Verified Argument Reduction with a Fused Multiply-Add

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2009-08-01

OAAI

Boldo, Sylvie; Daumas, Marc; Li, Ren-Cang

Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2009-02-01

OAAI

Boldo, Sylvie

Emulation of FMA and correctly rounded sums: Proved algorithms using rounding to odd

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2008-01-01

OAAI

Boldo, Sylvie; Melquiond, Guillaume

研究方向