Author:
Han Jingjun,Dai Liyun,Hong Hoon,Xia Bican
Funder
National Science Foundation
National Science Foundation of China
China Scholarship Council
Subject
Computational Mathematics,Algebra and Number Theory
Reference32 articles.
1. Reach set computations using real quantifier elimination;Anai,2001
2. Criteria for copositive matrices using simplices and barycentric coordinates;Andersson;Linear Algebra Appl.,1995
3. On the combinatorial and algebraic complexity of quantifier elimination;Basu;J. ACM,1996
4. A new algorithm to find a point in every cell defined by a family of polynomials;Basu,1998
5. Real Algebraic Geometry, vol. 36;Bochnak,2013
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献