Publisher
Springer International Publishing
Reference25 articles.
1. Arnon, D.S., Collins, G.E., McCallum, S.: Cylindrical algebraic decomposition I: the basic algorithm. SIAM J. Comput. 13(4), 865–877 (1984)
2. Lecture Notes in Computer Science;R Bradford,2014
3. Bradford, R.J., Davenport, J.H., England, M., McCallum, S., Wilson, D.J.: Truth table invariant cylindrical algebraic decomposition. J. Symb. Comput. 76, 1–35 (2016)
4. Brown, C.: Tutorial: Cylindrical algebraic decomposition, at ISSAC (2004).
http://www.usna.edu/Users/cs/wcbrown/research/ISSAC04/handout.pdf
5. Brown, C.W.: Improved projection for cylindrical algebraic decomposition. J. Symb. Comput. 32(5), 447–465 (2001)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献