Cohen, H. 计算代数数论教程。 New York: Springer-Verlag, p. 67, 1993.Domich, P. D.; Kannan, R.; and Trotter, L. E. Jr. "使用模行列式算术计算埃尔米特范式。" Math. Operations Res.12, 50-59, 1987.Hafner, J. L.; and McCurley, K. S. "环上矩阵的渐近快速三角化。" SIAM J. Comput.20, 1068-1083, 1991.Kaltofen, E. and Saunders, B. D. "史密斯先生去拉斯维加斯：多项式矩阵史密斯范式的随机并行计算。" In 1987年6月2日至5日在莱比锡卡尔-马克思大学举行的第六届欧洲计算机代数会议论文集：EUROCAL '87 (Ed. J. H. Davenport). Berlin: Springer-Verlag, pp. 317-322, 1989.Kannan, R. "求解多项式上的线性方程组。" Theoret. Comput. Sci.39, 69-88, 1985.Storjohann, A. and Labahn, G. "整数矩阵埃尔米特范式的渐近快速计算。" In 符号与代数计算国际研讨会论文集：ISSAC '96 (Ed. Y. N. Lakshman). New York: ACM Press, pp. 259-266, 1996.
nonsingular integer matrix 
, 存在一个 
unimodular matrix 
和一个 
matrix 
(称为 
的埃尔米特范式) 使得
的元素上指定一组特定条件使其（以及 
）唯一。一组可能的条件（对应于“列”版本并使 
lower triangular）由以下给出
for 
,
for all 
, and
and 
for 
upper triangular）并将条件 (3) 替换为平衡余数（模 
）。