J. Abbott, Quadratic interval refinement for real roots, ACM Communications in Computer Algebra, vol.48, issue.1/2, pp.3-12, 2014.
DOI : 10.1145/2644288.2644291
URL : http://arxiv.org/abs/1203.1227

A. Amir, O. Kapah, and D. Tsur, Faster two-dimensional pattern matching with rotations, Theoretical Computer Science, vol.368, issue.3, pp.196-204, 2006.
DOI : 10.1016/j.tcs.2006.09.012
URL : http://doi.org/10.1016/j.tcs.2006.09.012

S. Basu, R. Pollack, and M. F. Roy, Algorithms in real algebraic geometry, 2005.
DOI : 10.1007/978-3-662-05355-3
URL : https://hal.archives-ouvertes.fr/hal-01083587

G. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decomposition, Automata Theory and Formal Languages, pp.134-183, 1975.
DOI : 10.1145/1093390.1093393

D. Cox, J. Little, and D. O-'shea, Ideals, Varieties and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra, 1996.

E. Din, M. S. Schost, and E. , Properness Defects of Projections and Computation of at Least One Point in Each Connected Component of a Real Algebraic Set, Discrete & Computational Geometry, vol.32, issue.3, p.417, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00099962

D. Halperin, J. E. Goodman, and J. O-'rourke, Arrangements Handbook of Discrete and Computational Geometry, pp.529-562, 2004.

E. Hansen, Global optimization using interval analysis ? the multi-dimensional case, Numerische Mathematik, vol.14, issue.3, pp.247-270, 1980.
DOI : 10.1007/BF01396702
URL : http://www.digizeitschriften.de/download/PPN362160546_0034/PPN362160546_0034___log22.pdf

C. Hundt and M. Liskiewicz, On the Complexity of Affine Image Matching, In: STACS. Lecture Notes in Computer Science, vol.4393, pp.284-295, 2007.
DOI : 10.1007/978-3-540-70918-3_25

Z. Jelonek, Topological characterization of finite mappings, Bull. Polish Acad. Sci. Math, vol.49, issue.3, pp.279-283, 2001.

Z. Jelonek and K. Kurdyka, Quantitative Generalized Bertini-Sard Theorem for Smooth Affine Varieties, Discrete & Computational Geometry, vol.34, issue.4, pp.659-678, 2005.
DOI : 10.1007/s00454-005-1203-1
URL : https://hal.archives-ouvertes.fr/hal-00389073

K. Kurdyka, P. Orro, and S. Simon, Semialgebraic Sard Theorem for Generalized Critical Values, Journal of Differential Geometry, vol.56, issue.1, pp.67-92, 2000.
DOI : 10.4310/jdg/1090347525
URL : http://projecteuclid.org/download/pdf_1/euclid.jdg/1090347525

G. Moroz, Properness defects of projection and minimal discriminant variety, Journal of Symbolic Computation, vol.46, issue.10, pp.1139-1157, 2011.
DOI : 10.1016/j.jsc.2011.05.013
URL : https://hal.archives-ouvertes.fr/hal-01148309

B. Mourrain, J. P. Tecourt, and M. Teillaud, On the computation of an arrangement of quadrics in 3D, Computational Geometry, vol.30, issue.2, pp.145-164, 2005.
DOI : 10.1016/j.comgeo.2004.05.003
URL : https://hal.archives-ouvertes.fr/inria-00350858

A. Neumaier, Interval Methods for Systems of Equations. Encyclopedia of Mathematics and its Applications, 1991.

P. Ngo, Y. Kenmochi, N. Passat, and H. Talbot, Combinatorial structure of rigid transformations in 2D digital images, Computer Vision and Image Understanding, vol.117, issue.4, pp.393-408, 2013.
DOI : 10.1016/j.cviu.2012.08.014
URL : https://hal.archives-ouvertes.fr/hal-00643734

P. Ngo, Y. Kenmochi, N. Passat, and H. Talbot, Topology-Preserving Conditions for 2D Digital Images Under Rigid Transformations, Journal of Mathematical Imaging and Vision, vol.8, issue.2, pp.418-433, 2014.
DOI : 10.1007/s10851-013-0474-z
URL : https://hal.archives-ouvertes.fr/hal-00838183

P. Ngo, N. Passat, Y. Kenmochi, and H. Talbot, Topology-Preserving Rigid Transformation of 2D Digital Images, IEEE Transactions on Image Processing, vol.23, issue.2, pp.885-897, 2014.
DOI : 10.1109/TIP.2013.2295751
URL : https://hal.archives-ouvertes.fr/hal-00795054

B. Nouvel and E. Rémila, On Colorations Induced by Discrete Rotations, In: DGCI, Proceedings. Lecture Notes in Computer Science, vol.2886, pp.174-183, 2003.
DOI : 10.1007/978-3-540-39966-7_16

B. Nouvel and E. Rémila, Configurations induced by discrete rotations: Periodicity and quasiperiodicity properties, Discrete Applied Mathematics, vol.14723, pp.325-343, 2005.
DOI : 10.1016/j.dam.2004.09.018
URL : http://doi.org/10.1016/j.dam.2004.09.018

K. Pluta, Y. Kenmochi, N. Passat, H. Talbot, and P. Romon, Topological alterations of 3D digital images under rigid transformations, Informatique Gaspard-Monge UMR, vol.8049, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01333586

K. Pluta, P. Romon, Y. Kenmochi, and N. Passat, Bijective Rigid Motions of the 2D Cartesian Grid, Lecture Notes in Computer Science, pp.359-371, 2016.
DOI : 10.1007/978-3-319-32360-2_28
URL : https://hal.archives-ouvertes.fr/hal-01275598

K. Pluta, P. Romon, Y. Kenmochi, and N. Passat, Bijectivity Certification of 3D Digitized Rotations, In: CTIC. Lecture Notes in Computer Science, vol.130, issue.7, pp.30-41, 2016.
DOI : 10.1007/978-3-319-39441-1_4
URL : https://hal.archives-ouvertes.fr/hal-01315226

P. J. Rabier, Ehresmann Fibrations and Palais-Smale Conditions for Morphisms of Finsler Manifolds, The Annals of Mathematics, vol.146, issue.3, pp.647-691, 1997.
DOI : 10.2307/2952457

J. Renegar, On the computational complexity and geometry of the first-order theory of the reals. Part I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals, Journal of Symbolic Computation, vol.13, issue.3, pp.255-299, 1992.
DOI : 10.1016/S0747-7171(10)80003-3

F. Rouillier and P. Zimmermann, Efficient isolation of polynomial's real roots, Journal of Computational and Applied Mathematics, vol.162, issue.1, pp.33-50, 2004.
DOI : 10.1016/j.cam.2003.08.015
URL : http://doi.org/10.1016/j.cam.2003.08.015

M. Safey-el-din, Testing Sign Conditions on a Multivariate Polynomial and Applications, Mathematics in Computer Science, vol.1, issue.1, pp.177-207, 2007.
DOI : 10.1007/s11786-007-0003-9
URL : https://hal.archives-ouvertes.fr/inria-00105835

P. Singla and J. L. Junkins, Multi-resolution methods for modeling and control of dynamical systems, 2008.
DOI : 10.1201/9781584887706

Y. Thibault, Rotations in 2D and 3D discrete spaces, 2010.
URL : https://hal.archives-ouvertes.fr/tel-00596947

Y. Thibault, A. Sugimoto, and Y. Kenmochi, 3D discrete rotations using hinge angles, Theoretical Computer Science, vol.412, issue.15, pp.1378-1391, 2011.
DOI : 10.1016/j.tcs.2010.10.031
URL : https://hal.archives-ouvertes.fr/hal-00734881

A. Yilmaz, O. Javed, and M. Shah, Object tracking, ACM Computing Surveys, vol.38, issue.4, p.13, 2006.
DOI : 10.1145/1177352.1177355

B. Zitova and J. Flusser, Image registration methods: a survey, Image and Vision Computing, vol.21, issue.11, pp.977-1000, 2003.
DOI : 10.1016/S0262-8856(03)00137-9