Solving sparse linear equations over finite fields
IEEE Transactions on Information Theory
Algorithms for computer algebra
Algorithms for computer algebra
Efficient rational number reconstruction
Journal of Symbolic Computation
Algorithmic number theory
Efficient parallel solution of sparse systems of linear diophantine equations
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Processor-efficient parallel matrix inversion over abstract fields: two extensions
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Certifying inconsistency of sparse linear systems
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
Integer Smith form via the valence: experience with large sparse matrices from homology
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Rational solutions of singular linear systems
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
A linear space algorithm for computing the hermite normal form
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Algorithms for Large Integer Matrix Problems
AAECC-14 Proceedings of the 14th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
An Accelerated Buchmann Algorithm for Regulator Computation in Real Quadratic Fields
ANTS-V Proceedings of the 5th International Symposium on Algorithmic Number Theory
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
High-order lifting and integrality certification
Journal of Symbolic Computation - Special issue: International symposium on symbolic and algebraic computation (ISSAC 2002)
A BLAS based C library for exact linear algebra on integer matrices
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Solving sparse rational linear systems
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Solving Very Sparse Rational Systems of Equations
ACM Transactions on Mathematical Software (TOMS)
Exact solutions to linear systems of equations using output sensitive lifting
ACM Communications in Computer Algebra
On computation of the greatest common divisor of several polynomials over a finite field
Finite Fields and Their Applications
Computing the invariant structure of integer matrices: fast algorithms into practice
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
| Hi-index | 0.00 |