Login / Signup

Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations.

Huu Phuoc LeMohab Safey El Din
Published in: ISSAC (2021)
Keyphrases
  • quantifier elimination
  • first order logic
  • artificial intelligence
  • objective function
  • databases
  • high level
  • expert systems
  • software engineering