Аннотация:
Предлагается новый алгоритм дифференцирования функций. Используется метод дополнительных переменных и библиотеки функций (точнее говоря, библиотеки полных полиномиальных систем уравнений в частных производных, которым эти функции удовлетворяют). Алгоритм сводит систему функций нескольких переменных к системе полиномов по исходным и дополнительно введенным переменным. Производные могут вычисляться затем при помощи этих полиномов и «цепного правила» дифференцирования суперпозиций функций. Приводятся примеры. Библиогр. 15 назв. Ил. 1. Табл. 3.
Ключевые слова:символьное дифференцирование, автоматическое дифференцирование, полиномиальная система, полная полиномиальная система, метод дополнительных переменных, библиотека функций.