Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. D. S. Arnon, G. E. Collins, S. McCallum Cylindrical algebraic decomposition I: the basic algorithm, SIAM J. Comp, 13, (1984), pp. 865–877.
2. — —, Cylindrical algebraic decomposition II: an adjacency algorithm for the plane, SIAM J. Comp, 13, (1984), pp. 878–889.
3. — —, An adjacency algorithm for cylindrical algebraic decompositions of three-dimensional space, Manuscript, November 1984 (submitted to EUROCAL '85).
4. Lecture Notes in Computer Scienc;D. S. Arnon,1979
5. Technical Report;D. S. Arnon,1981
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献