Применение символьных преобразований на ЭВМ для исследования аппроксимации и устойчивости разностных схем

Предлагаются некоторые способы организации аналитического исследования на ЭВМ в символьном виде аппроксимации и устойчивости разностных схем для систем дифференциальных уравнений с частными производными со многими независимыми переменными. Описывается комплекс программ, реализующий эти алгоритмы на ЭВМ. Приводятся некоторые наглядные примеры работы программ комплекса.