A BLAS based C library for exact linear algebra on integer matrices

Authors:
Zhuliang Chen;Arne Storjohann
Affiliations:
University Waterloo, Waterloo, ON, Canada;University Waterloo, Waterloo, ON, Canada
Venue:
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Year:
2005

Citing 14
Cited 15

Worst-case complexity bounds on algorithms for computing the canonical structure of finite Abelian groups and the Hermite and Smith normal forms of an integer matrix

SIAM Journal on Computing
Efficient parallel solution of sparse systems of linear diophantine equations

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
Diophantine linear system solving

ISSAC '99 Proceedings of the 1999 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
Approximate algorithms to derive exact solutions to systems of linear equations

EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
Finite field linear algebra subroutines

Proceedings of the 2002 international symposium on Symbolic and algebraic computation
On computing the determinant and Smith form of an integer matrix

FOCS '00 Proceedings of the 41st Annual Symposium on Foundations of Computer Science
Exact solution of linear equations

SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
A note on the hermite basis computation of large integer matrices

ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Modern Computer Algebra

Modern Computer Algebra
FFPACK: finite field linear algebra package

ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Smith normal form of dense integer matrices fast algorithms into practice

ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Floating-Point LLL revisited

EUROCRYPT'05 Proceedings of the 24th annual international conference on Theory and Applications of Cryptographic Techniques

Half-GCD and fast rational recovery

Proceedings of the 2005 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
Solving sparse rational linear systems

Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Some recent progress in exact linear algebra and related questions

Proceedings of the 2007 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
Speeding-up lattice reduction with random projections

LATIN'08 Proceedings of the 8th Latin American conference on Theoretical informatics
Algorithms for solving linear systems over cyclotomic fields

Journal of Symbolic Computation
Algebraic and numerical algorithms

Algorithms and theory of computation handbook
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
Vector rational number reconstruction

Proceedings of the 36th international symposium on Symbolic and algebraic computation
Numeric-symbolic exact rational linear system solver

Proceedings of the 36th international symposium on Symbolic and algebraic computation
Deterministic unimodularity certification

Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
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
Data-driven equivalence checking

Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Algorithms for solving linear systems of equations over the integers are designed and implemented. The implementations are based on the highly optimized and portable ATLAS/BLAS library for numerical linear algebra and the GNU Multiple Precision library (GMP) for large integer arithmetic.