Abstract

A finite algorithm that uses arithmetic operations only is said to be rational. There exist rational methods for checking the congruence of a pair of Hermitian matrices or a pair of unitary ones. We propose a rational algorithm for checking the congruence of general normal matrices.

中文翻译：

---

检验正规矩阵同余的启发式有理算法

摘要

仅使用算术运算的有限算法被认为是合理的。存在检查一对厄米矩阵或一对unit矩阵的同余性的合理方法。我们提出了一种合理的算法来检查一般正规矩阵的同余性。