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.

Authors

Richard Liska

This author has not been identified. Look up 'Richard Liska' in Google

Stanly Steinberg

This author has not been identified. Look up 'Stanly Steinberg' in Google