Formal proof for delayed finite field arithmetic using floating point operators

Marc Daumas Pascal Giorgi

Published in: CoRR (2007)

Keyphrases

floating point
formal proof
fixed point
floating point arithmetic
square root
interval arithmetic
theorem prover
instruction set
sparse matrices
fast fourier transform
input image
markov random field