1. Ordinary Differential Equations;Arnold,1973
2. C. W. Brown, Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation (ISSAC’98), Rostock, Germany, Gloor, O. 1998, The Association for Computing Machinery, 295, 301
3. Methods of Bifurcation Theory;Chow,1996
4. Quantifier elimination for real closed fields by cylindrical algebraic decomposition;Collins,1975
5. Partial cylindrical algebraic decomposition for quantifier elimination;Collins;J. Symb. Comput.,1991