Комбинаторная теория и алгоритмические вопросы дифференциальных алгебр и алгебр Новикова