Author:
Chen Changbo,Maza Marc Moreno
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Basu, S., Pollack, R., Roy, M.-F.: Algorithms in real algebraic geometry. Algorithms and Computations in Mathematics, vol. 10. Springer (2006)
2. Caviness, B., Johnson, J. (eds.): Quantifier Elimination and Cylindical Algebraic Decomposition. Texts and Mongraphs in Symbolic Computation. Springer (1998)
3. Chen, C.: Solving Polynomial Systems via Triangular Decomposition. PhD thesis, University of Western Ontario (2011)
4. Chen, C., Davenport, J.H., May, J., Maza, M.M., Xia, B., Xiao, R.: Triangular decomposition of semi-algebraic systems. J. Symb. Comp. 49, 3–26 (2013)
5. Lecture Notes in Computer Science;C. Chen,2007
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献