Ehresmann Fibrations and Palais-Smale Conditions for Morphisms of Finsler Manifolds, Annals of Mathematics, vol.146, pp.647-691, 1997. ,
Semialgebraic Sard Theorem for Generalized Critical Values, J. Differential Geom, vol.56, issue.1, pp.67-92, 2000. ,
QEPCAD B: A System for Computing with Semi-Algebraic Sets via Cylindrical Algebraic Decomposition, SIGSAM Bull, vol.38, pp.23-24, 2004. ,
Morse theory and Euler characteristic of sections of spherical varieties, Transformation groups, vol.9, pp.47-63, 2004. ,
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
Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics), p.3540330984, 2006. ,
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
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
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.