Skip to Main content

Production year

Researcher identifiers

  • IdHAL : sboldo
Number of documents


CV of Sylvie Boldo

Auto-magically brought to you by HAL.

Pascal Giorgi   

Conference papers1 document

  • Sylvie Boldo, Marc Daumas, Pascal Giorgi. Formal proof for delayed finite field arithmetic using floating point operators. 8th Conference on Real Numbers and Computers, Jul 2008, Saint Jacques de Compostelle, Spain. pp.113-122. ⟨hal-00135090v3⟩