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
Computing Popov and Hermite forms of polynomial matrices
ISSAC '96 Proceedings of the 1996 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
Near optimal algorithms for computing Smith normal forms of integer matrices
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
A solution to the extended GCD problem with applications
ISSAC '97 Proceedings of the 1997 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
A subdivision-based algorithm for the sparse resultant
Journal of the ACM (JACM)
Quantum algorithms for solvable groups
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
A linear space algorithm for computing the hermite normal form
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Factoring polynomials over local fields
Journal of Symbolic Computation
A note on the hermite basis computation of large integer matrices
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Computer algebra handbook
High-order lifting and integrality certification
Journal of Symbolic Computation - Special issue: International symposium on symbolic and algebraic computation (ISSAC 2002)
Smith normal form of dense integer matrices fast algorithms into practice
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
The shifted number system for fast linear algebra on integer matrices
Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
Analysis of modular arithmetic
ACM Transactions on Programming Languages and Systems (TOPLAS) - Special Issue ESOP'05
Efficient parallelizations of Hermite and Smith normal form algorithms
Parallel Computing
Integer matrix rank certification
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
The shifted number system for fast linear algebra on integer matrices
Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
Finding small roots of bivariate integer polynomial equations: a direct approach
CRYPTO'07 Proceedings of the 27th annual international cryptology conference on Advances in cryptology
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
Abstract domains of affine relations
SAS'11 Proceedings of the 18th international conference on Static analysis
An iterative algorithm for homology computation on simplicial shapes
Computer-Aided Design
Analysis of modular arithmetic
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Triangular x-basis decompositions and derandomization of linear algebra algorithms over K[x]
Journal of Symbolic Computation
A generic framework for interprocedural analysis of numerical properties
SAS'05 Proceedings of the 12th international conference on Static Analysis
| Hi-index | 0.00 |