Non-linear real constraints in constraint logic programming

This publication has 8 references indexed in Scilit:

• Partial Cylindrical Algebraic Decomposition for quantifier elimination
  Journal of Symbolic Computation, 1991
• An improvement of the projection operator in cylindrical algebraic decomposition
  Published by Association for Computing Machinery (ACM) ,1990
• An introduction to Prolog III
  Communications of the ACM, 1990
• A bibliography of quantifier elimination for real closed fields
  Journal of Symbolic Computation, 1988
• Constraint Logic Programming Language CAL
  Published by Springer Nature ,1988
• Equations and Rewrite Rules: A Survey
  Published by Elsevier ,1980
• The evaluation of the zeros of ill-conditioned polynomials. Part I
  Numerische Mathematik, 1959
• A Decision Method for Elementary Algebra and Geometry
  Published by University of California Press ,1951