Login / Signup

A Cluster-Based Cylindrical Algebraic Decomposition Algorithm.

Dennis S. Arnon
Published in: European Conference on Computer Algebra (2) (1985)
Keyphrases
  • decomposition algorithm
  • decomposition method
  • working set
  • equality constraints
  • recognition algorithm
  • working set selection
  • panoramic images
  • databases
  • training data