Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition

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},
}