P. J. Rabier, Ehresmann Fibrations and Palais-Smale Conditions for Morphisms of Finsler Manifolds, Annals of Mathematics, vol.146, pp.647-691, 1997.

K. Kurdyka, P. Orro, and S. Simon, Semialgebraic Sard Theorem for Generalized Critical Values, J. Differential Geom, vol.56, issue.1, pp.67-92, 2000.

C. W. Brown, QEPCAD B: A System for Computing with Semi-Algebraic Sets via Cylindrical Algebraic Decomposition, SIGSAM Bull, vol.38, pp.23-24, 2004.

K. Kaveh, Morse theory and Euler characteristic of sections of spherical varieties, Transformation groups, vol.9, pp.47-63, 2004.

Z. Jelonek and K. Kurdyka, Quantitative Generalized Bertini-Sard Theorem for Smooth Affine Varieties, Discrete and Computational Geometry, vol.34, p.34, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00389073

S. Basu, R. Pollack, and M. Roy, Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics), p.3540330984, 2006.

M. Safey-el-din, Generalized critical values and testing sign conditions on a polynomial, International Conference on Mathematical Aspects of Computer and Information Sciences, pp.61-84, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01351457

H. Hong and M. Safey-el-din, Variant real quantifier elimination: algorithm and application, Proceedings of the 2009 international symposium on Symbolic and algebraic computation, pp.183-190, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01294697

J. Faugère, FGb: A Library for Computing Gröbner Bases, Mathematical Software -ICMS 2010, pp.84-87, 2010.

, The RegularChains Library, 2015.

, Version 12.1. Champaign, IL, 2020.