Обоснование эффективного алгоритма для определения точечных полноты и вырожденности линейных систем порядка 12 с запаздыванием

Обосновывается эффективный алгоритм преобразования к нормальной форме линейной системы порядка 12 с запаздыванием $h$. В случае вырожденной активной матрицы системы обосновывается также модифицированный алгоритм проверки этой системы на точечную полноту. Чтобы проверить систему на точечную полноту, достаточно найти все вещественные корни одного многочлена степени 4, коэффициенты которого зависят от геометрических инвариантов нормальной формы и экспоненты произведения половины следа активной матрицы на $h$.