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 relate... View More