Formally certified floating-point filters for homogeneous geometric predicates.

Guillaume Melquiond Sylvain Pion

Published in: RAIRO Theor. Informatics Appl. (2007)

Keyphrases

floating point
fixed point
square root
sparse matrices
interval arithmetic
fast fourier transform
instruction set
floating point arithmetic
data structure
image sequences
co occurrence
floating point unit