Accéder directement au contenu

Sylvie Boldo

1
Documents
Identifiants chercheurs

Présentation

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

Publications

pascal-giorgi
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