Solving Systems of Strict Polynomial Inequalities

Journal of Symbolic Computation

Volumn 29, Issue 3, 2000, Pages 471-480

  Strzeboński, Adam ^a  

^a JAGIELLONIAN UNIVERSITY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0006762975     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1999.0327     Document Type: Article

References (12)

1. Caviness B., Johnson J., eds. Quantifier Elimination and Cylindrical Algebraic Decomposition. 1998;Springer-Verlag, Wien.
2. G. E. Collins, 1975, 134, 183.
3. Collins G. E. Quantifier elimination by cylindrical algebraic decomposition - twenty years of progress. Caviness B., Johnson J. Quantifier Elimination and Cylindrical Algebraic Decomposition. 1998;8-23 Springer-Verlag.
4. Collins G. E., Hong H. Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comput. 12:1991;299-328.
5. H. Hong, Proceedings of ISSAC, 1990, ACM Press, 261, 264.
6. S. jsco0327a0x.gif Lojasiewicz.
7. McCallum S. An improved projection for cylindrical algebraic decomposition of three dimensional space. J. Symb. Comput. 5:1988;141-161.
8. McCallum S. Solving polynomial strict inequalities using cylindrical algebraic decomposition. Comput. J. 36:1993;432-438.
9. McCallum S. An improved projection for cylindrical algebraic decomposition. Caviness B., Johnson J. Quantifier Elimination and Cylindrical Algebraic Decomposition. 1998;242-268 Springer-Verlag.
10. Strzeboński A. An algorithm for systems of strong polynomial inequalities. Math. J. 4:1994;74-77.
11. Strzeboński A. Algebraic numbers in mathematica 3.0. Math. J. 6:1996;74-80.
12. Strzeboński A. Computing in the field of complex algebraic numbers. J. Symb. Comput. 24:1997;647-656.