Author:
Wu Jinming,Wang Renhong,Zhang Xiaolei
Funder
National Natural Science Foundation of China
Natural Science Foundation of Zhejiang Province
Subject
Applied Mathematics,Computational Mathematics
Reference16 articles.
1. Algorithms in Real Algebraic Geometry;Basu,2003
2. Nonlinear Algebraic Equation System and Automated Theorem Proving;Yang,1996
3. Recent advances on determining the number of real roots of parametric polynomials;Yang;J. Symb. Comput.,1999
4. Sturm–Habicht sequences, determinants and real roots of univariate polynomials;Gonzalez-Vega,1998
5. Automatic computation of the complete root classification for a parametric polynomial;Liang;J. Symb. Comput.,2009
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献