Algorithms for the Solution of Systems of Linear Diophantine Equations

DOI10.1137/0211057zbMath0498.65022OpenAlexW2250444211MaRDI QIDQ3963952

George E. Collins, Tsu-Wu J. Chou

Publication date: 1982

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: http://digital.library.wisc.edu/1793/58176

zbMATH Keywords

Hermite normal formlinear Diophantine systeminfinite precision integer arithmeticKannan-Bachem algorithmRosser-type algorithmsolution module basis

Mathematics Subject Classification ID

Direct numerical methods for linear systems and matrix inversion (65F05) Linear Diophantine equations (11D04) Matrices of integers (15B36) Canonical forms, reductions, classification (15A21)

Related Items

Solving systems of linear equations over polynomials, Three-Dimensional Presentations for the Groups of Order at Most 30, PYTHAGOREAN TRIPLES IN THE UNIFICATION THEORY OF ASSOCIATIVE AND COMMUTATIVE RINGS, Computing algorithms for the reduction of a Hermite algorithm with polynomial coefficients, New necessary and sufficient condition for the irreducibility of joint inventory positions in an assemble-to-order system, Rational function certification of multisum/integral/“𝑞” identities, Avoiding slack variables in the solving of linear diophantine equations and inequations, Discrete quantum computation and Lagrange's four-square theorem, Diophantine quadratic equation and Smith normal form using scaled extended integer Abaffy-Broyden-Spedicato algorithms, Unnamed Item, Constraint Satisfaction Problems over Numeric Domains, How can we solve a linear Diophantine equation by the basis reduction algorithm, The unification type of the Pythagorean equation in varieties of nilpotent rings, On the existence of solutions in systems of linear Diophantine equations, Showing the non-existence of solutions in systems of linear Diophantine equations, Unnamed Item, Integer programming with 2-variable equations and 1-variable inequalities, TAMENESS OF THE PSEUDOVARIETY OF ABELIAN GROUPS, Computing Hermite and Smith normal forms of triangular integer matrices, A note on solving linear Diophantine systems by usingL³-reduction algorithm, Integer extended ABS algorithms and possible control of intermediate results for linear Diophantine systems, Rank reduction processes for solving linear Diophantine systems and integer factorizations: a review, Recognizing badly presented \(Z\)-modules, Parallel algorithms for matrix normal forms, Commutative images of rational languages and the Abelian kernel of a monoid