%0 Journal Article
%A Melquiond, Guillaume
%A Pion, Sylvain
%T Formally certified floating-point filters for homogeneous geometric predicates
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2007
%P 57-69
%V 41
%N 1
%I EDP-Sciences
%U http://www.numdam.org/articles/10.1051/ita:2007005/
%R 10.1051/ita:2007005
%G en
%F ITA_2007__41_1_57_0