Login / Signup

DISCOVERER: a tool for solving semi-algebraic systems.

Bican Xia
Published in: ACM Commun. Comput. Algebra (2007)
Keyphrases
  • management system
  • machine learning
  • database
  • data streams
  • shape descriptors
  • semi algebraic