О проверке конгруэнтности аккретивных матриц

Конечный вычислительный процесс, использующий только арифметические операции, будем называть рациональным алгоритмом. В настоящее время не известен рациональный алгоритм, позволяющий проверить конгруэнтность произвольных комплексных матриц $A$ и $B$. Ситуация может быть иной, если $A$ и $B$ принадлежат тому или иному классу специальных матриц. Существуют, например, рациональные алгоритмы для случаев, когда обе матрицы эрмитовы или унитарные. В настоящей публикации предложены рациональные алгоритмы для проверки конгруэнтности аккретивных или диссипативных матриц $A$ и $B$.
Библиография: 5 названий.