E. Abrahám, M. Kohlhase, M. Johansson, B. Miller, and L. De-moura, SC 2 : satisfiability checking meets symbolic computation, CICM 2016, vol.9791, pp.28-43, 2016.

D. S. Arnon, Algorithms for the geometry of semi-algebraic sets, 1981.

C. Barrett, CAV 2011, vol.6806, pp.171-177, 2011.

C. Barrett, P. Fontaine, and C. Tinelli, The SMT-LIB standard: version 2.6, 2017.

S. Basu, R. Pollack, and M. F. Roy, On the combinatorial and algebraic complexity of quantifier elimination, JACM, vol.43, issue.6, pp.1002-1045, 1996.

T. Bouton, B. Caminha, D. De-oliveira, D. Déharbe, and P. Fontaine, veriT: an open, trustable and efficient SMT-solver, CADE 2009, vol.5663, pp.151-156, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00430634

R. Bradford, A case study on the parametric occurrence of multiple steady states, Proceedings of the ISSAC 2017, pp.45-52, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01648694

C. W. Brown, Improved projection for CAD's of R 3, Proceedings of the ISSAC 2000, pp.48-53, 2000.

C. W. Brown, QEPCAD B: a program for computing with semi-algebraic sets using CADs, ACM SIGSAM Bull, vol.37, issue.4, pp.97-108, 2003.

J. Canny, Some algebraic and geometric computations in PSPACE, Proceedings of the STOC 1988, pp.460-467, 1988.

C. Chen, J. H. Davenport, J. P. May, M. Moreno-maza, B. Xia et al., Triangular decomposition of semi-algebraic systems, J. Symb. Comput, vol.49, pp.3-26, 2013.

A. Cimatti, A. Griggio, B. J. Schaafsma, and R. Sebastiani, The MathSAT5 SMT solver, TACAS 2013, vol.7795, pp.93-107, 2013.

G. E. Collins and H. Hong, Partial cylindrical algebraic decomposition for quantifier elimination, J. Symb. Comput, vol.12, issue.3, pp.80152-80158, 1991.

G. E. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decompostion, GI-Fachtagung 1975, vol.33, pp.134-183, 1975.

F. Corzilius, G. Kremer, S. Junges, S. Schupp, and E. Abrahám, SMT-RAT: an open source C++ toolbox for strategic and parallel SMT solving, SAT 2015, vol.9340, pp.360-368, 2015.

L. De-moura and N. Bjørner, Z3: an efficient SMT solver, TACAS 2008, vol.4963, pp.337-340, 2008.

A. Dolzmann, A. Seidl, and T. Sturm, Efficient projection orders for CAD, Proceedings of the ISSAC, pp.111-118, 2004.

A. Dolzmann and T. Sturm, REDLOG: computer algebra meets computer logic, ACM SIGSAM Bull, vol.31, issue.2, pp.2-9, 1997.

B. Dutertre, Yices 2.2, CAV 2014, vol.8559, pp.737-744, 2014.

M. England, H. Errami, D. Grigoriev, O. Radulescu, T. Sturm et al., Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks, CASC 2017, vol.10490, pp.93-108, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01648691

H. Errami, M. Eiswirth, D. Grigoriev, W. M. Seiler, T. Sturm et al., Detection of Hopf bifurcations in chemical reaction networks using convex coordinates, J. Comput. Phys, vol.291, pp.279-302, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01239486

P. Fontaine, M. Ogawa, T. Sturm, and X. T. Vu, Subtropical satisfiability, FroCoS 2017, vol.10483, pp.189-206
DOI : 10.1007/978-3-319-66167-4_11

URL : https://hal.archives-ouvertes.fr/hal-01590899

, , 2017.

L. González-vega, Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation, pp.365-375, 1998.

D. Grigoriev and N. Vorobjov, Solving systems of polynomial inequalities in subexponential time, J. Symb. Comput, vol.5, issue.1-2, pp.80005-80006, 1988.

H. Hong, An improvement of the projection operator in cylindrical algebraic decomposition, Proceedings of the ISSAC 1990, pp.261-264, 1990.

H. Hong, Improvements in CAD-based quantifier elimination, 1990.

H. Hong and M. S. Din, Variant quantifier elimination, J. Symb. Comput, vol.47, issue.7, pp.883-901, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00778365

M. Ko?ta, New concepts for real quantifier elimination by virtual substitution, 2016.

R. Loos and V. Weispfenning, Applying linear quantifier elimination, Comput. J, vol.36, issue.5, pp.450-462, 1993.

S. Mccallum, An improved projection operator for cylindrical algebraic decomposition, 1984.

S. Müller, E. Feliu, G. Regensburger, C. Conradi, A. Shiu et al., Sign conditions for injectivity of generalized polynomial maps with applications to chemical reaction networks and real algebraic geometry, Found. Comput. Math, vol.16, issue.1, pp.66-97, 2016.

R. Nieuwenhuis, A. Oliveras, and C. Tinelli, Solving SAT and SAT modulo theories: from an abstract Davis-Putnam-Logemann-Loveland procedure to DPLL(T), JACM, vol.53, issue.6, pp.937-977, 2006.

J. Renegar, On the computational complexity and geometry of the first-order theory of the reals. Part II: the general decision problem. Preliminaries for quantifier elimination, J. Symb. Comput, vol.13, issue.3, pp.80004-80009, 1992.

A. Schrijver, Theory of Linear and Integer Programming, 1986.

A. Strzebonski, Cylindrical algebraic decomposition using validated numerics, J. Symb. Comput, vol.41, issue.9, pp.1021-1038, 2006.

T. Sturm, Real quantifier elimination in geometry. Doctoral dissertation, 1999.

T. Sturm, Subtropical real root finding, Proceedings of the ISSAC 2015, pp.347-354, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01239489

A. Tarski, The Completeness of Elementary Algebra and Geometry, 1930.

O. Viro, Dequantization of real algebraic geometry on logarithmic paper, 2000.

A. Weber, T. Sturm, and E. O. Abdel-rahman, Algorithmic global criteria for excluding oscillations, Bull. Math. Biol, vol.73, issue.4, pp.899-916, 2011.

V. Weispfenning, Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation, pp.376-392, 1998.

S. Wolfram, The Mathematica Book, 5th edn, 2003.

H. Yanami and H. Anai, SyNRAC: a Maple toolbox for solving real algebraic constraints, Proceedings of the A3L 2005, pp.275-279, 2005.