Author:
Han Jingjun,Jin Zhi,Xia Bican
Funder
President's Fund for Undergraduate Students of Peking University
NSFC
SKLCS
Subject
Computational Mathematics,Algebra and Number Theory
Reference58 articles.
1. Cylindrical algebraic decomposition I: the basic algorithm;Arnon;SIAM J. Comput.,1984
2. Über die Zerlegung definiter Funktionen in Quadrate;Artin;Abh. Math. Semin. Univ. Hamb.,1927
3. Complexity of computing semi-algebraic descriptions of the connected components of a semi-algebraic set;Basu,1998
4. Algorithms in Real Algebraic Geometry;Basu,2006
5. Polynomially positive definite sequences;Berg;Math. Ann.,1982
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献