"Записки научных семинаров ПОМИ"

Том 439, стр. 99-106

Московский государственный университет, Ленинские горы, 119991, Москва, Россия

ikramov@cs.msu.su

Аннотация: Пусть $A$ и $B$ -- квадратные невырожденные матрицы порядка $n$, элементы которых суть рациональные или рациональные гауссовы числа. Описан метод, проверяющий возможную конгруэнтность этих матриц и использующий при этом конечное число арифметических операций (и, в комплексном случае, операций сопряжения). Библ. -- 5 назв.
Ключевые слова: конгруэнции, каноническая форма, подобие, жорданова форма, коквадрат [congruences, canonical form, similarity, Jordan form, cosquare ]