共 50 条
- [1] On computing the determinant and Smith form of an integer matrix 41ST ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2000, : 675 - 685
- [4] Certified computation of the sign of a matrix determinant PROCEEDINGS OF THE TENTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 1999, : 715 - 724
- [6] Certification of Numerical Computation of the Sign of the Determinant of a Matrix Algorithmica, 2001, 30 : 708 - 724
- [8] Computing the Integer Points of a Polyhedron, II: Complexity Estimates COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2017, 2017, 10490 : 242 - 256
- [10] Computing the M = UUt integer matrix decomposition CRYPTOGRAPHY AND CODING, PROCEEDINGS, 2003, 2898 : 223 - 233