Алгоритмы вычисления дифференциального размерностного многочлена и его свойствадиссертация