Real Quanti er Elimination in

  • PracticeAndreas Dolzmann, Thomas Sturm, +2 authors weispfeng
  • Published 1998
We give a survey of three implemented real quantiier elimination methods: partial cylindrical algebraic decomposition, virtual substitution of test terms, and a combination of Grr obner basis computations with multivariate real root counting. We examine the scope of these implementations for applications in various elds of science, engineering, and… CONTINUE READING