1. Becker, E., Neuhaus, R., Computation of real radicals of polynomial ideals, in Computational algebraic geometry (Nice, 1992),Progress in Math., Boston: Birkhauser, MA, 1993, 109: 1–20.
2. Stengle, G., A Nullstellensatz and a Positivstellensatz in semialgebraic geometry,Math. Ann., 1974, 207(2): 87.
3. Zeng, G. X., Homogeneous Stellensätze in semialgebraic geometry,Pacific J. Math., 1989, 136(1): 103.
4. Becker, T., Weispfenning, V., Kredel, H.,Gröbner Bases: A Computational Approach to Commutative Algebra, New York-Berlin-Heidelberg: Springer-Verlag, 1993.
5. Jacobson, N.,Basic Algebra II, San Francisco: W H Freeman and Company, 1980.