Practically solving some problems expressed in the first order theory of real closed field

References

• Tarski , A. 1948 . A Decision Method for Elementary Algebra and Geometry , Berkeley, California : University of California Press .
   Google Scholar
• Heintz , J. 1983 . Deniability and Fast Quantifier Elimination in Algebraically Closed Fields . Theoretical Computer Science , 24 : 239 – 278 .
   Web of Science ®Google Scholar
• Collins , G. E. 1975 . “ Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition ” . In LNCS , Vol. 33 , 134 – 183 . Berlin : Springer .
   Google Scholar
• Wu , Wen-tsün . 1986 . On Zeros of Algebraic Equations-An Application of Ritt's Principle . Kexue Tongbao , 31 ( 1 ) : 1 – 5 .
   Google Scholar
• van der Waerden , B. L. 1966 . Modern Algebra , Vol. I II , New York : Fredrick Ungar .
   Google Scholar
• Ma , S. and Ning , S. 1997 . Deriving Some New Conditions on the Existence of Eight Limit Cycles for a Cubic System . Computers and Mathematics with Applications ,
   Google Scholar
• Demidovich , B. P. and Maron , I. A. 1981 . “ translated from the Russion by George Yankovsky ” . In Computational Mathematics , Moscow : Mir Publishers .
   Google Scholar
• Collins , G. E. and Loos , R. 1982 . “ Real Zeros of Polynomials ” . In Computer Algebra, Symbolic and Algebraic Computation , Edited by: Buchberger , B. 83 – 94 . Wien, New York : Spring-Verlag .
   Google Scholar
• James , E. M. and Lloyd , N. G. 1991 . A Cubic System with Eight Small-Amplitude Limit Cycles . IMA J. of Appl. Math. , 47 : 163 – 171 .
   Google Scholar
• Fischer , M. J. and Rabin , M. O. 1974 . Super Exponential Complexity of Presburger's Arithmetic . SIAM-AMS Proceedings , 7 : 27 – 41 .
   Google Scholar
• Rabin , M. O. 1977 . “ Decidable Theories ” . In Handbook of Mathematical Logic , Edited by: Barwise , J. 595 – 630 . Amsterdam, New York, Oxford : Horth-Holland Publishing Company .
   Google Scholar