Accéder directement au contenu

Pascal Giorgi

1
Documents

Publications

sboldo
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