Login / Signup

Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas.

Adam W. Strzebonski
Published in: ISSAC (2012)
Keyphrases
  • database
  • expert systems
  • complex systems
  • real numbers
  • data sets
  • databases
  • search engine
  • knowledge base
  • lower bound
  • distributed systems
  • computer systems
  • knowledge based systems