Author:
Hong Hoon,Li Liyun,Liang Tielin,Wang Dongming
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Brown, C.W., Hong, H.: QEPCAD — Quantifier elimination by partial cylindrical algebraic decomposition (2004), http://www.cs.usna.edu/~qepcad/B/QEPCAD.html
2. Collins, G.E., Hong, H.: Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comput. 12, 299–328 (1991)
3. Dolzmann, A., Sturm, T., Weispfenning, V.: A new approach for automatic theorem proving in real geometry. J. Automat. Reason. 21(3), 357–380 (1998)
4. González-Vega, L.: A combinatorial algorithm solving some quantifier elimination problems. In: Caviness, B., Johnson, J. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition, pp. 300–316. Springer, Wien (1996)
5. Hong, H.: Quantifier elimination for formulas constrained by quadratic equations via slope resultants. The Computer J. 36(5), 440–449 (1993)