Recognizing badly presented \(Z\)-modules

DOI10.1016/0024-3795(93)90241-FzbMath0789.15008arXivmath/9406205OpenAlexW1971551964MaRDI QIDQ1311319

Derek F. Holt, Sarah Rees, George Havas

Publication date: 13 January 1994

Published in: Linear Algebra and its Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9406205

zbMATH Keywords

integer matrixSmith normal formmodular computationpivoting strategies\(Z\)-modules

Mathematics Subject Classification ID

Matrices of integers (15B36) Canonical forms, reductions, classification (15A21)

Related Items

Groups with exponent six, The virtual Haken conjecture: Experiments and examples, Reduction of Smith normal form transformation matrices, Cohomology of congruence subgroups of $ {SL}_4(\mathbb {Z})$. III, On the computation of elementary divisors of integer matrices

Uses Software

• QUOTPIC

Cites Work

• A modification of the LLL reduction algorithm
• Proving a group infinite
• Factoring polynomials with rational coefficients
• A local approach to matrix equivalence
• The Elimination form of the Inverse and its Application to Linear Programming
• Hermite Normal Form Computation Using Modulo Determinant Arithmetic
• Worst-Case Complexity Bounds on Algorithms for Computing the Canonical Structure of Finite Abelian Groups and the Hermite and Smith Normal Forms of an Integer Matrix
• Worst-Case Complexity Bounds on Algorithms for Computing the Canonical Structure of Infinite Abelian Groups and Solving Systems of Linear Diophantine Equations
• The last of the Fibonacci groups
• Polynomial Algorithms for Computing the Smith and Hermite Normal Forms of an Integer Matrix
• Algorithms for the Solution of Systems of Linear Diophantine Equations
• Asymptotically Fast Triangularization of Matrices over Rings
• Congruence Techniques for the Exact Solution of Integer Systems of Linear Equations
• Algorithmic Aspects of Vertex Elimination on Directed Graphs
• Residual hermite normal form computations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item