Author:
Chen Changbo,Moreno Maza Marc
Publisher
Springer Berlin Heidelberg
Reference39 articles.
1. Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Springer Lect. Notes Comput. Sci. 33, 515–532 (1975)
2. Arnon, D.S., Collins, G.E., McCallum, S.: Cylindrical algebraic decomposition II: an adjacency algorithm for the plane. SIAM J. Computing 13(4), 878–889 (1984)
3. Brown, C.W.: Improved projection for cylindrical algebraic decomposition. J. Symb. Comput. 32(5), 447–465 (2001)
4. Caviness, B., Johnson, J. (eds.): Quantifier Elimination and Cylindical Algebraic Decomposition, Texts and Mongraphs in Symbolic Computation. Springer, Berlin (1998)
5. Hong, H.: An improvement of the projection operator in cylindrical algebraic decomposition. In: ISSAC’90, pp. 261–264. ACM (1990)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献