Hermite normal form computation using modulo determinant arithmetic
Mathematics of Operations Research
Matrix multiplication via arithmetic progressions
Journal of Symbolic Computation - Special issue on computational algebraic complexity
Asymptotically fast triangularization of matrices over rings
SIAM Journal on Computing
Preconditioning of rectangular polynomial matrices for efficient Hermite normal form computation
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Computing Popov and Hermite forms of polynomial matrices
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
On the worst-case complexity of integer Gaussian elimination
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Efficient parallel solution of sparse systems of linear diophantine equations
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
A linear space algorithm for computing the hermite normal form
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
On the computation of elementary divisors of integer matrices
Journal of Symbolic Computation
A family of sparse polynomial systems arising in chemical reaction systems
Journal of Symbolic Computation
Fast Algorithms for for Linear Algebra Modulo N
ESA '98 Proceedings of the 6th Annual European Symposium on Algorithms
The Shortest Vector Problem in Lattices with Many Cycles
CaLC '01 Revised Papers from the International Conference on Cryptography and Lattices
Computer algebra handbook
Computation of storage requirements for multi-dimensional signal processing applications
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Integer programming with 2-variable equations and 1-variable inequalities
Information Processing Letters
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
Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations
Formal Methods in System Design
Quasi-Affine Transformation in 3-D: Theory and Algorithms
IWCIA '09 Proceedings of the 13th International Workshop on Combinatorial Image Analysis
Normal forms for general polynomial matrices
Journal of Symbolic Computation
Quasi-affine transformation in higher dimension
DGCI'09 Proceedings of the 15th IAPR international conference on Discrete geometry for computer imagery
An LLL-reduction algorithm with quasi-linear time complexity: extended abstract
Proceedings of the forty-third annual ACM symposium on Theory of computing
Computing hermite forms of polynomial matrices
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Rate estimation in partially observed Markov jump processes with measurement errors
Statistics and Computing
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers
Formal Methods in System Design
Totally tight Chvátal-Gomory cuts
Operations Research Letters
Rational invariants of scalings from Hermite normal forms
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
| Hi-index | 0.01 |