Author:
Xu Ming,Chen Liangyu,Zeng Zhenbing,Li Zhi-bin
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Uspensky, J.V.: Theory of Equations. McGraw-Hill, New York (1948)
2. Collins, G.E., Loos, R.: Real zeros of polynomials. In: Buchberger, B., Collins, G.E., Loos, R. (eds.) Computer Algebra: Symbolic and Algebraic Computation, pp. 83–94. Springer, Heidelberg (1983)
3. Collins, G.E., Hong, H.: Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comput. 12(3), 299–328 (1991)
4. Yang, L., Hou, X., Zeng, Z.: A complete discrimination system for polynomials. Science in China (Ser. E) 39, 628–646 (1996)
5. Lecture Notes in Computer Science;E.P. Tsigaridas,2006