Login / Signup

Variant real quantifier elimination: algorithm and application.

Hoon HongMohab Safey El Din
Published in: ISSAC (2009)
Keyphrases
  • elimination algorithm
  • computational complexity
  • computer vision
  • probabilistic model