TY  - RPRT
TI  - Formal proof for delayed finite field arithmetic using floating point operators
AU  - Sylvie Boldo
AU  - Marc Daumas
AU  - Pascal Giorgi
PY  - 2008
UR  - https://arxiv.org/abs/cs/0703026
ID  - cs/0703026
ER  -