Skip to Main content
Number of documents


CV of Sylvie Boldo

Auto-magically brought to you by HAL.

Jean-Michel Muller    Christoph Lauter   

Journal articles1 document

  • Sylvie Boldo, Christoph Lauter, Jean-Michel Muller. Emulating round-to-nearest ties-to-zero "augmented" floating-point operations using round-to-nearest ties-to-even arithmetic. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TC.2020.3002702⟩. ⟨hal-02137968v4⟩