С. Д. Икрамов, А. М. Назари, “Эвристический рациональный алгоритм, проверяющий конгруэнтность нормальных матриц”, Ж. вычисл. матем. и матем. физ., 2020, том 60, номер 10,страницы 1656

Общие численные методы

Эвристический рациональный алгоритм, проверяющий конгруэнтность нормальных матриц

С. Д. Икрамов^a, А. М. Назари^b

^a Москва, Ленинские горы, МГУ, ВМК, Россия
^b Эрак, Университет Эрака, факультет математики, Исламская Республика Иран

Аннотация: Рациональным мы называем конечный алгоритм, использующий только арифметические операции. Известны рациональные методы проверки конгруэнтности пары эрмитовых или пары унитарных матриц. Предложен рациональный алгоритм для проверки конгруэнтности нормальных матриц общего вида. Библ. 3. Фиг. 2.

Ключевые слова: конгруэнтность, юнитоид, коквадрат, подобие, теплицево разложение, индексы инерции, пифагоровы тройки, Maple, циркулянты.

УДК: 512.643

Поступила в редакцию: 28.02.2020
Исправленный вариант: 28.02.2020
Принята в печать: 09.06.2020

DOI: 10.31857/S0044466920100099