Practical and efficient method for computations over real closed fields

[1] Rabin M O. Decidable theories. In:Barwise J ed. Handbook of Mathematical Logic. Amsterdam:Horth-Holland Publishing Company,1977. 595~630 [2] Wu Wen-tsüun. On zeros of algebraic equations——an application of Ritt's principle [J]. Kexue Tongbao, 1986,31(1):1~5 [3] Buchberger B. Gr bner bases:an algorithmic method in polynomial ideal theory. In:Bose N K ed. Recent Trends in Multidimensional Systems Theory. Boston:D Reidel Publ Comp, 1985 [4] Ning S, Ma S, Kewt K H, et al. A cubic system with eight small amplitude limit cycles [J]. Applied Mathematics Letters, 1994,7(4):23~27 [5] Ma S, Ning S. Deriving some new conditions on the existence of eight limit cycles for a cubic system [J]. Computers & Mathematics with Applications, 1997,33(7):59~84 [6] Ma S, Ning S. Practically solving some problems expressed in the first order theory of the real closed field [J]. International Journal of Computer Mathematics, 1998,69(3-4):265~282 [7] Lu Z, Ma S. Centers, foci and limit cycles for polynomial differential systems. In:Wang D, Gao X ed. Mathematics Mechanization and Applications. London:Academic Press,2000, 365~387 [8] Demidovich B P, Maron I A. Computational mathematics [M]. Translated from the Russion by George Yankovsky, Moscow:Mir Publishers, 1981