SC 2 : satisfiability checking meets symbolic computation, CICM 2016, vol.9791, pp.28-43, 2016. ,
Algorithms for the geometry of semi-algebraic sets, 1981. ,
, CAV 2011, vol.6806, pp.171-177, 2011.
The SMT-LIB standard: version 2.6, 2017. ,
On the combinatorial and algebraic complexity of quantifier elimination, JACM, vol.43, issue.6, pp.1002-1045, 1996. ,
veriT: an open, trustable and efficient SMT-solver, CADE 2009, vol.5663, pp.151-156, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00430634
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
Improved projection for CAD's of R 3, Proceedings of the ISSAC 2000, pp.48-53, 2000. ,
QEPCAD B: a program for computing with semi-algebraic sets using CADs, ACM SIGSAM Bull, vol.37, issue.4, pp.97-108, 2003. ,
Some algebraic and geometric computations in PSPACE, Proceedings of the STOC 1988, pp.460-467, 1988. ,
Triangular decomposition of semi-algebraic systems, J. Symb. Comput, vol.49, pp.3-26, 2013. ,
The MathSAT5 SMT solver, TACAS 2013, vol.7795, pp.93-107, 2013. ,
Partial cylindrical algebraic decomposition for quantifier elimination, J. Symb. Comput, vol.12, issue.3, pp.80152-80158, 1991. ,
Quantifier elimination for real closed fields by cylindrical algebraic decompostion, GI-Fachtagung 1975, vol.33, pp.134-183, 1975. ,
SMT-RAT: an open source C++ toolbox for strategic and parallel SMT solving, SAT 2015, vol.9340, pp.360-368, 2015. ,
Z3: an efficient SMT solver, TACAS 2008, vol.4963, pp.337-340, 2008. ,
Efficient projection orders for CAD, Proceedings of the ISSAC, pp.111-118, 2004. ,
REDLOG: computer algebra meets computer logic, ACM SIGSAM Bull, vol.31, issue.2, pp.2-9, 1997. ,
Yices 2.2, CAV 2014, vol.8559, pp.737-744, 2014. ,
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
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
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.
Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation, pp.365-375, 1998. ,
Solving systems of polynomial inequalities in subexponential time, J. Symb. Comput, vol.5, issue.1-2, pp.80005-80006, 1988. ,
An improvement of the projection operator in cylindrical algebraic decomposition, Proceedings of the ISSAC 1990, pp.261-264, 1990. ,
Improvements in CAD-based quantifier elimination, 1990. ,
Variant quantifier elimination, J. Symb. Comput, vol.47, issue.7, pp.883-901, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00778365
New concepts for real quantifier elimination by virtual substitution, 2016. ,
Applying linear quantifier elimination, Comput. J, vol.36, issue.5, pp.450-462, 1993. ,
An improved projection operator for cylindrical algebraic decomposition, 1984. ,
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. ,
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. ,
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. ,
Theory of Linear and Integer Programming, 1986. ,
Cylindrical algebraic decomposition using validated numerics, J. Symb. Comput, vol.41, issue.9, pp.1021-1038, 2006. ,
Real quantifier elimination in geometry. Doctoral dissertation, 1999. ,
Subtropical real root finding, Proceedings of the ISSAC 2015, pp.347-354, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01239489
The Completeness of Elementary Algebra and Geometry, 1930. ,
Dequantization of real algebraic geometry on logarithmic paper, 2000. ,
Algorithmic global criteria for excluding oscillations, Bull. Math. Biol, vol.73, issue.4, pp.899-916, 2011. ,
Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation, pp.376-392, 1998. ,
The Mathematica Book, 5th edn, 2003. ,
SyNRAC: a Maple toolbox for solving real algebraic constraints, Proceedings of the A3L 2005, pp.275-279, 2005. ,