Аннотация:В статье описывается программный пакет, написанный на языке Standard Lisp и предназначенный для построения до заданного порядка нормальной формы и соответствующего нормализующего преобразования для системы обыкновенных дифференциальных уравнений (ОДУ). Пакет содержит полный набор процедур для арифметики на отрезках степенных рядов, а также для ввода/вывода. Это позволяет обрабатывать результаты как автономно, так и в среде системы компьютерной алгебры Reduce. Пакет может работать с рациональной арифметикой как с бесконечной, так и с конечной точностью, а также в арифметике с плавающей запятой.