The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
Algorithm 288: solution of simultaneous linear Diophantine equations [F4]
Communications of the ACM
A finite sequentially compact process for the adjoints of matrices over arbitrary integral domains
Communications of the ACM
Exact solution of general integer systems of linear equations
ACM Transactions on Mathematical Software (TOMS) - The MIT Press scientific computation series
PAC: first experiments on a 128 transputers méganode
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
On Computing the Exact Determinant of Matrices with Polynomial Entries
Journal of the ACM (JACM)
Congruence Techniques for the Exact Solution of Integer Systems of Linear Equations
ACM Transactions on Mathematical Software (TOMS)
Symbolic mathematical computation in a Ph.D. computer science program
SIGCSE '72 Proceedings of the second SIGCSE technical symposium on Education in computer science
Chinese remainder and interpolation algorithms
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Symbolic mathematical computation in a Ph. D. computer science program
ACM SIGCSE Bulletin
A BLAS based C library for exact linear algebra on integer matrices
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Optimizing inter-processor data locality on embedded chip multiprocessors
Proceedings of the 5th ACM international conference on Embedded software
SIGMETRICS '06/Performance '06 Proceedings of the joint international conference on Measurement and modeling of computer systems
On computing polynomial GCDs in alternate bases
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Output-sensitive modular algorithms for polynomial matrix normal forms
Journal of Symbolic Computation
An Approach for Enhancing Inter-processor Data Locality on Chip Multiprocessors
Transactions on High-Performance Embedded Architectures and Compilers I
Journal of Computer and System Sciences
Algorithms for solving linear systems over cyclotomic fields
Journal of Symbolic Computation
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
| Hi-index | 0.00 |
The congruential method of obtaining the exact solution of a system of linear equations with integral coefficients is critically reviewed. A new and efficient test for checking that a sequence of residue solutions determines the correct integer solution of the system of equations is presented. Also discussed is an improved method for finding the adjoint of a singular matrix.