Publisher
Springer Science and Business Media LLC
Reference50 articles.
1. Aubry, P., Rouillier, F., Safey El Din, M.: Real solving for positive dimensional systems. J. Symb. Comput. 34(6), 543–560 (2002)
2. Bank, B., Giusti, M., Heintz, J., MBakop, G.: Polar varieties and efficient elimination. Math. Z. 238, 115–144 (2001)
3. Bank, B., Giusti, M., Heintz, J., Safey El Din, M., Schost, E.: On the geometry of polar varieties. Appl. Algebra Eng. Commun. Comput. 21, 33–83 (2010)
4. Algorithms and Computation in Mathematics;S. Basu,2006
5. Basu, S., Pollack, R., Roy, M.-F.: On the combinatorial and algebraic complexity of quantifier elimination. J. ACM 43(6), 1002–1045 (1996)
Cited by
43 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献