Residual hermite normal form computations
ACM Transactions on Mathematical Software (TOMS)
Parallel algorithms for hermite normal form of an integer matrix
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm
Journal of Symbolic Computation
Computation of the Smith normal form of polynomial matrices
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Fast computation of the Smith normal form of an integer matrix
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Preconditioning of rectangular polynomial matrices for efficient Hermite normal form computation
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Asymptotically fast computation of Hermite normal forms of integer matrices
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
The modulo N extended GCD problem for polynomials
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Fast deterministic computation of determinants of dense matrices
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Asymptotically fast triangulation of matrices over rings
SODA '90 Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms
A linear space algorithm for computing the hermite normal form
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Computing discrete logarithms in high-genus hyperelliptic Jacobians in provably subexponential time
Mathematics of Computation
On the Chvátal Rank of Certain Inequalities
Proceedings of the 7th International IPCO Conference on Integer Programming and Combinatorial Optimization
Algorithms for Large Integer Matrix Problems
AAECC-14 Proceedings of the 14th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
On lattice reduction for polynomial matrices
Journal of Symbolic Computation
Computer algebra handbook
Heuristics on lattice basis reduction in practice
Journal of Experimental Algorithmics (JEA)
Computing the sign or the value of the determinant of an integer matrix, a complexity survey
Journal of Computational and Applied Mathematics - Special issue: Proceedings of the international conference on linear algebra and arithmetic, Rabat, Morocco, 28-31 May 2001
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Normal forms for general polynomial matrices
Journal of Symbolic Computation
Algorithms and theory of computation handbook
Computing hermite forms of polynomial matrices
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers
Formal Methods in System Design
Streaming computations with a loquacious prover
Proceedings of the 4th conference on Innovations in Theoretical Computer Science
Hi-index | 0.00 |