Applying Quantifier Elimination to Stability Analysis of Difference Schemes

Richard Liska, Stanly Steinberg. Applying Quantifier Elimination to Stability Analysis of Difference Schemes. Comput. J., 36(5):497-503, 1993.

Abstract

Abstract is missing.