Solving sparse linear equations over finite fields
IEEE Transactions on Information Theory
Hermite normal form computation using modulo determinant arithmetic
Mathematics of Operations Research
A solution to the extended GCD problem with applications
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Modern computer algebra
Diophantine linear system solving
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Rational solutions of singular linear systems
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
On the computation of elementary divisors of integer matrices
Journal of Symbolic Computation
A note on the hermite basis computation of large integer matrices
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Hi-index | 0.00 |
New algorithms are described and analysed for solving various problems associated with a large integer matrix: computing the Hermite form, computing a kernel basis, and solving a system of linear diophantine equations. The algorithms are space-efficient and for certain types of input matrices -- for example, those arising during the computation of class groups and regulators--are faster than previous methods. Experiments with a prototype implementation support the running time analyses.