Login / Signup

Quantifier Elimination and the Sign Variation Method for Real Root Isolation.

George E. CollinsJeremy R. Johnson
Published in: ISSAC (1989)
Keyphrases
  • objective function
  • dynamic programming
  • knowledge base
  • tree structure