共 50 条
- [2] FAST PARALLEL COMPUTATION OF HERMITE AND SMITH FORMS OF POLYNOMIAL-MATRICES SIAM JOURNAL ON ALGEBRAIC AND DISCRETE METHODS, 1987, 8 (04): : 683 - 690
- [5] On the computation of the Smith normal form of compound matrices Numerical Algorithms, 1997, 16 : 95 - 105
- [6] A Formal Proof of the Computation of Hermite Normal Form in a General Setting ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION (AISC 2018), 2018, 11110 : 37 - 53
- [10] Solving integer or mixed linear programs using a Hermite normal form computation RAIRO-RECHERCHE OPERATIONNELLE-OPERATIONS RESEARCH, 1997, 31 (04): : 399 - 427