Recherche et téléchargement d’archives de revues mathématiques numérisées
Melquiond, Guillaume; Pion, Sylvain
Formally certified floating-point filters for homogeneous geometric predicates. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, 41 no. 1 (2007), p. 57-69
Notice complète | Texte intégral djvu | pdf | Analyses MR 2330043 | Zbl 1133.65010