Previous Articles Next Articles
XIAO Shuijing, ZENG Guangxing
[1] Rouillier F, Solving zero-dimensional systems through the rational univariate representation, AAECC, 1995, 9: 433–461. [2] Zeng G X and Xiao S J, Computing the rational univariate representations for zero-dimensional systems by Wu’s method, Sci. Sin. Math., 2010, 40(10): 999–1016(in Chinese). [3] Xiao S J and Zeng G X, Algorithms for computing the global infimum and minimum of a polynomial function, Sci. Sin. Math., 2011, 41(9): 759–788(in Chinese). [4] Xiao S J and Zeng G X, Solving the equality-constrained minimization problem of polynomial functions, J. Global Optimization, 2019, 75: 683–733. [5] 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. [6] Wang D K, The software wsolve: A Maple package for solving system of polynomial equations, available at http://www.mmrc.iss.ac.cn/ dwang/wsolve.html. [7] Nagata M, Field Theory, Marcel Dekker, Inc., New York, 1977. [8] Becker T, Weispfenning V, and Kredel H, Gröbner Bases: A Computational Approach to Commutative Algebra, Springer-Verlag, New York-Berlin-Heidelberg, 1993. [9] Atiyah M F and MacDonald J G, Introduction to Commutative Algebra, Addison-Wesley, Reading, MA, 1969. [10] Jacobson N, Basic Algebra I, 2nd Edition, W. H. Freeman and Company, New York, 1985. [11] Mishra B, Algorithmic Algebra, Texts and Monographs in Computer Science, Springer-Verlag, New York-Berlin-Heidelberg, 1993. [12] Gonzales-Vega L, Rouillier F, and Roy M F, Symbolic recipes for polynomial system solving, Eds. by Cohen A M, Cuypers H, and Sterk H, Some Tapas of Computer Algebra, Springer-Verlag, New York-Berlin-Heidelberg, 1999, 34–65. |
[1] | WANG Qiuye,LI Yangjia,XIA Bican,ZHAN Naijun. Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems [J]. Journal of Systems Science and Complexity, 2017, 30(1): 234-252. |
[2] | LIU Lanlan,ZHOU Meng. On Computing Uniform Gr¨obner Bases for Ideals Generated by Polynimials with Parametric Exponents [J]. Journal of Systems Science and Complexity, 2016, 29(3): 850-864. |
[3] | LIU Jiang,XU Ming, ZHAN Naijun, ZHAO Hengjun. DISCOVERING NON-TERMINATING INPUTS FOR MULTI-PATH POLYNOMIAL PROGRAMS [J]. Journal of Systems Science and Complexity, 2014, 27(6): 1286-1304. |
[4] | XIAO Shuijing , ZENG Guangxing. SEMI-ALGEBRAICALLY CONNECTED COMPONENTS OF MINIMUM POINTS OF A POLYNOMIAL FUNCTION [J]. Journal of Systems Science and Complexity, 2013, 26(6): 1028-1046. |
[5] | Wu Wenjun. ON THE CONSTRUCTION OF GROEBNER BASIS OF A POLYNOMIAL IDEAL BASED ON RIQUIER-JANET THEORY [J]. Journal of Systems Science and Complexity, 1991, 4(3): 193-207. |
Viewed | ||||||
Full text |
|
|||||
Abstract |
|
|||||