Decomposing the Radicals of Polynomial Ideals by Rational Univariate Representations

1. Xiao S J and Zeng G X, The invertibility of rational univariate representations, Journal of Systems Science & Complexity, 2022, 35(6): 2430–2451.

   Article  MathSciNet  MATH  Google Scholar 

2. Wu W T, Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving, Science Press/Kluwer Academic Publishers, Beijing/Dordrecht-Boston-London, 2000.

   MATH  Google Scholar 

3. Wang D K, The software wsolve: A Maple package for solving system of polynomial equations, http://www.mmrc.iss.ac.cn/dwang/wsolve.html.

4. Engler A J and Prestel A, Valued Fields, Springer-Verlag, Berlin-Heidelberg, 2005.

   MATH  Google Scholar 

5. Endler O, Valuation Theory, Springer-Verlag, Berlin-Heidelberg, New York, 1972.

   Book  MATH  Google Scholar 

6. Jacobson N, Basic Algebra I, 2nd Edition, Dover Publications, New York, 1985.

   MATH  Google Scholar 

7. Atiyah M F and MacDonald J G, Introduction to Commutative Algebra, Addison-Wesley, Reading, 1969.

   MATH  Google Scholar 

8. Becker T, Weispfenning V, and Kredel H, Gröbner Bases: A Computational Approach to Commutative Algebra, Springer-Verlag, New York-Berlin-Heidelberg, 1993.

   Book  MATH  Google Scholar 

9. Tan C and Zhang S G, Computation of the rational representation for solutions of high-dimensional systems, Comm. Math. Res., 2010, 26(2): 119–130.

   MathSciNet  MATH  Google Scholar 

10. Shang B X, Zhang S G, Tan C, et al., A simplified rational representation for positive-dimensional polynomial systems and SHEPWM equation solving, Journal of Systems Science & Complexity, 2017, 30(6): 1470–1482.

    Article  MathSciNet  MATH  Google Scholar 

11. Xiao F, Lu D, Ma X, et al., An improvement of the rational representation for high-dimensional systems, Journal of Systems Science & Complexity, 2021, 34(6): 2410–2427.

    Article  MathSciNet  MATH  Google Scholar 

12. Nagata M, Field Theory, Marcel Dekker, Inc., New York, 1977.

    MATH  Google Scholar 

13. Mishra B, Algorithmic Algebra, Texts and Monographs in Computer Science, Springer-Verlag, New York-Berlin-Heidelberg, 1993.

    Google Scholar 

14. Rouillier F, Solving zero-dimensional systems through the rational univariate representation, AAECC, 1995, 9: 433–461.

    Article  MathSciNet  MATH  Google Scholar 

15. Gonzales-Vega L, Rouillier F, and Roy M F, Symbolic recipes for polynomial system solving, Some Tapas of Computer Algebra, Eds. by Cohen A M, Cuypers H, and Sterk H, Springer-Verlag, New York-Berlin-Heidelberg, 1999.

    Google Scholar 

Download references