Author:
Xiao Shuijing,Zeng Guangxing
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Computer Science (miscellaneous)
Reference12 articles.
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.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献