A. A. Andronov, E. A. Leontovich, I. I. Gordon, and A. G. Maier, Theory of Bifurcations of Dynamic Systems on a Plane, Israel Program of Scientific Translations, 1971.

R. Ball and A. D. Haymet, Bistability and hysteresis in self-assembling micelle systems: phenomenology and deterministic dynamics, Physical Chemistry Chemical Physics, vol.3, issue.21, pp.4753-4761, 2001.
DOI : 10.1039/b104483b

B. Buchberger, Gröbner bases: An algorithmic method in polynomial ideal theory, Reidel, pp.184-232, 1985.

J. Carr, Applications of Center Manifold Theory, 1981.

S. Chow and J. K. Hale, Methods of Bifurcation Theory, 1982.
DOI : 10.1007/978-1-4613-8159-4

G. E. Collins and H. Hong, Partial Cylindrical Algebraic Decomposition for quantifier elimination, Journal of Symbolic Computation, vol.12, issue.3, pp.299-328, 1991.
DOI : 10.1016/S0747-7171(08)80152-6
URL : http://doi.org/10.1016/s0747-7171(08)80152-6

E. Kahoui, M. Weber, and A. , Deciding Hopf Bifurcations by Quantifier Elimination in a Software-component Architecture, Journal of Symbolic Computation, vol.30, issue.2, pp.161-179, 2000.
DOI : 10.1006/jsco.1999.0353

W. W. Farr, C. Li, I. S. Labouriau, and W. F. Langford, Degenerate Hopf Bifurcation Formulas and Hilbert???s 16th Problem, SIAM Journal on Mathematical Analysis, vol.20, issue.1, pp.13-30, 1989.
DOI : 10.1137/0520002

J. Faugère, A new efficient algorithm for computing Gr??bner bases (F4), Journal of Pure and Applied Algebra, vol.139, issue.1-3, pp.61-88, 1999.
DOI : 10.1016/S0022-4049(99)00005-5

Y. A. Kuznetsov, Elements of Applied Bifurcation Theory, 1998.

D. Lazard and F. Rouillier, Solving parametric polynomial systems, Journal of Symbolic Computation, vol.42, issue.6, pp.636-667, 2007.
DOI : 10.1016/j.jsc.2007.01.007
URL : https://hal.archives-ouvertes.fr/hal-01148721

Z. Lu and B. He, Multiple stable limit cycles for a cubic Kolmogorov prey-predator system, J. Eng. Math, vol.18, issue.4, pp.115-117, 2001.

Z. Lu and Y. Luo, Two limit cycles in three-dimensional Lotka-Volterra systems, Computers & Mathematics with Applications, vol.44, issue.1-2, pp.51-66, 2002.
DOI : 10.1016/S0898-1221(02)00129-3

R. K. Miller and A. N. Michel, Ordinary differential equations, 1982.
DOI : 10.1017/CBO9781139108188.011

W. Niu, Application of quantifier elimination and discriminant varieties to stability analysis of biological systems, In: Proceedings MACIS, pp.243-253, 2006.

W. Niu and D. Wang, Algebraic Approaches to Stability Analysis of Biological Systems, Mathematics in Computer Science, vol.1, issue.3, pp.507-539, 2008.
DOI : 10.1007/s11786-007-0039-x
URL : https://hal.archives-ouvertes.fr/hal-00588726

S. M. Shahruz and D. A. Kalkin, LIMIT CYCLE BEHAVIOR IN THREE- OR HIGHER-DIMENSIONAL NON-LINEAR SYSTEMS: THE LOTKA???VOLTERRA EXAMPLE, Journal of Sound and Vibration, vol.246, issue.2, pp.379-386, 2001.
DOI : 10.1006/jsvi.2000.3582

S. Shi, A concrete example of the existence of four limit cycles for plane quadratic systems, Sci. Sinica (A), vol.23, pp.153-158, 1980.

D. Wang, A class of cubic differential systems with 6-tuple focus, J. Diff. Eqns, vol.87, pp.305-315, 1990.

D. Wang, Mechanical manipulation for a class of differential systems, Journal of Symbolic Computation, vol.12, issue.2, pp.233-254, 1991.
DOI : 10.1016/S0747-7171(08)80127-7

D. Wang, Elimination Methods, 2001.
DOI : 10.1007/978-3-7091-6202-6
URL : https://hal.archives-ouvertes.fr/inria-00100616

D. Wang, Elimination Practice: Software Tools and Applications, 2004.
DOI : 10.1142/9781848161207
URL : https://hal.archives-ouvertes.fr/hal-01503551

D. Wang and B. Xia, Stability analysis of biological systems with real solution classification, Proceedings of the 2005 international symposium on Symbolic and algebraic computation , ISSAC '05, pp.354-361, 2005.
DOI : 10.1145/1073884.1073933
URL : https://hal.archives-ouvertes.fr/hal-01486880

D. Wang and B. Xia, Algebraic analysis of stability for some biological systems, Proceedings AB 2005 (H. Anai and K. Horimoto, pp.75-83, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01486878

W. Wu, -t: Mathematics Mechanization, 2000.
DOI : 10.1007/s11704-007-0001-8
URL : https://hal.archives-ouvertes.fr/in2p3-00408916

D. Xiao and W. Li, Limit Cycles for the Competitive Three Dimensional Lotka???Volterra System, Journal of Differential Equations, vol.164, issue.1, pp.1-15, 2000.
DOI : 10.1006/jdeq.1999.3729

L. Yang and B. Xia, Real solution classifications of parametric semi-algebraic systems In: Algorithmic Algebra and Logic ? Proceedings A3L, pp.281-289, 2005.

Y. Ye, S. Cai, L. Chen, K. Huang, D. Luo et al., Theory of Limit Cycles, 1986.

Z. Zhang, T. Ding, W. Huang, and Z. Dong, Qualitative Theory of Differential Equations, Amer. Math. Soc, 1992.