- 1
Pascal Giorgi
1
Documents
Publications
- 1
- 1
- 1
|
Formal proof for delayed finite field arithmetic using floating point operators8th Conference on Real Numbers and Computers, Jul 2008, Saint Jacques de Compostelle, Spain. pp.113-122
Communication dans un congrès
hal-00135090v3
|