Solving stability problems using quantifier elimination

Stability problems for initial-value problems for partial differential equations and their discretizations can be written as quantifier elimination problems. Such problems can be solved by general quantifier elimination algorithms. However, if is far more efficient to use the Routh-Hurwitz or related criteria to eliminate one of the quantified variables before the general algorithms are applied.