hal-01315226 title_s Bijectivity certification of 3D digitized rotations auteur Kacper Pluta, Pascal Romon, Yukiko Kenmochi, Nicolas Passat volume 9667 pages 30-41 doi 10.1007/978-3-319-39441-1_4 fichier_hal https://hal.archives-ouvertes.fr/hal-01315226/document fichier_autre https://hal.archives-ouvertes.fr/hal-01315226/file/article.pdf origine_autre openaccess annee 2016 conference Computational Topology in Image Context (CTIC)