Login / Signup

An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition.

Hoon Hong
Published in: ISSAC (1990)
Keyphrases
  • projection operator
  • wide range
  • database
  • image segmentation
  • higher order
  • decomposition methods
  • search algorithm
  • significant improvement