Recherche et téléchargement d’archives de revues mathématiques numérisées

 
 
  1 réponse(s)


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

Copyright Cellule MathDoc 2014 | Crédit | Plan du site