Scott McCallum. Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition. Comput. J., 36(5):432-438, 1993.
@article{McCallum93-0, title = {Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition}, author = {Scott McCallum}, year = {1993}, tags = { algebra}, researchr = {https://researchr.org/publication/McCallum93-0}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {36}, number = {5}, pages = {432-438}, }