Formally certified floating-point filters for homogeneous geometric predicatesGuillaume Melquiond and Sylvain PionRAIRO-Theor. Inf. Appl., 41 1 (2007) 57-69DOI: https://doi.org/10.1051/ita:2007005
