Языки логического программирования для символьных вычислений. Символьное дифференцирование. Упрощение выражений. Численное сравнение выражений. Расширение Пролога: операции линейной алгебры.