Author:
Chen Changbo,Davenport James H.,May John P.,Moreno Maza Marc,Xia Bican,Xiao Rong
Subject
Computational Mathematics,Algebra and Number Theory
Reference42 articles.
1. On the theories of triangular sets;Aubry;J. Symbolic Comput.,1999
2. Algorithms in real algebraic geometry;Basu,2006
3. Boulier, F., Chen, C., Lemaire, F., Moreno Maza, M., 2009. Real root isolation of regular chains. In: Proc. ASCM’09.
4. Brown, C.W., 1999. Guaranteed solution formula construction. In: Proc. ISSAC’99, pp. 137–144.
5. Improved projection for cylindrical algebraic decomposition;Brown;J. Symbolic Comput.,2001
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献