正定矩阵的一个标准形
A Canonical Form for Positive Definite Matrices
摘要：
我们展示了一个明确的，确定性的算法，找到一个标准型的正定矩阵下么模积分变换。我们使用特征集的短向量和分区回溯图软件。该算法在维数$n$上的算术运算次数是指数的，但它比基于Minkowski约简的标准形式更实用，更有效。
英文摘要：
We exhibit an explicit, deterministic algorithm for finding a canonical form for a positive definite matrix under unimodular integral transformations. We use characteristic sets of short vectors and partition-backtracking graph software. The algorithm runs in a number of arithmetic operations that is exponential in the dimension $n$, but it is practical and more efficient than canonical forms based on Minkowski reduction.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
