Victor G. Ganzha Evgenii V. Vorozhtsov A Probabilistic Symbolic-Numerical Method for the Stability Analyses of Difference Schemes for PDEs. 9-13 1993 ISSAC http://doi.acm.org/10.1145/164081.164084 db/conf/issac/issac93.html#GanzhaV93