Preconditioning of rectangular polynomial matrices for efficient Hermite normal form computation

Hermite normal form computation using modulo determinant arithmetic

Mathematics of Operations Research

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

SIAM Journal on Computing

Fast parallel computation of hermite and smith forms of polynomial matrices

SIAM Journal on Algebraic and Discrete Methods

Asymptotically fast triangularization of matrices over rings

SIAM Journal on Computing

Algorithms for computer algebra

Algorithms for computer algebra

Fast algorithms for rational forms of integer matrices

ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation

Fast Probabilistic Algorithms for Verification of Polynomial Identities

Journal of the ACM (JACM)

On the computation of the maximal order in a dedekind domain.

On the computation of the maximal order in a dedekind domain.