@article{ITA_2007__41_1_57_0,
     author = {Melquiond, Guillaume and Pion, Sylvain},
     title = {Formally certified floating-point filters for homogeneous geometric predicates},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {57--69},
     publisher = {EDP-Sciences},
     volume = {41},
     number = {1},
     year = {2007},
     doi = {10.1051/ita:2007005},
     mrnumber = {2330043},
     zbl = {1133.65010},
     language = {en},
     url = {http://archive.numdam.org/articles/10.1051/ita:2007005/}
}