Accéder directement au contenu

Sylvie Boldo

3
Documents
Identifiants chercheurs

Présentation

Auto-magically brought to you by HAL.
Auto-magically brought to you by HAL.

Publications

832231
Image document

Properties of two's complement floating point notations

 Sylvie Boldo , Marc Daumas
International Journal on Software Tools for Technology Transfer, 2003, 5 (2-3), pp.237-246. ⟨10.1007/s10009-003-0120-y⟩
Article dans une revue hal-00157268v1
Image document

Formal proof for delayed finite field arithmetic using floating point operators

 Sylvie Boldo , Marc Daumas , Pascal Giorgi
8th Conference on Real Numbers and Computers, Jul 2008, Saint Jacques de Compostelle, Spain. pp.113-122
Communication dans un congrès hal-00135090v3
Image document

Theorems on Efficient Argument Reductions

 Ren Cang Li , Sylvie Boldo , Marc Daumas
16th IEEE Symposium on Computer Arithmetic, 2003, Santiago de Compostela, Spain. pp.129-136, ⟨10.1109/ARITH.2003.1207670⟩
Communication dans un congrès hal-00156244v1