An algorithm to solve integer linear systems exactly using numerical methods

Journal of Symbolic Computation

Volumn 41, Issue 6, 2006, Pages 621-632

  Wan, Zhendong ^a  

^a Drexel University   (United States)

Author keywords

Linear systems; Numerical linear algebra methods; Rational solvers

Indexed keywords

EID: 33645899658     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jsc.2005.11.001     Document Type: Article

References (15)

1. Chen, Z., Storjohann, A., 2004. An implementation of linear system solving for integer matrices. In: Poster, ISSAC'04
2. Cormen T., Leiserson C., Rivest R., and Stein C. Introduction to Algorithms. 2nd edition (2001), MIT Press
3. Demmel J.W. Applied Numerical Linear Algebra (1997), SIAM
4. Dixon, J.D., 1982. Exact solution of linear equations using p-adic expansion. Numer. Math., 137-141
5. Dumas J.-G., Gautier T., and Pernet C. Finite field linear algebra subroutines. Proc. ISSAC'02 (2002), ACM Press 63-74
6. Dumas J.-G., Saunders B.D., and Villard G. Smith form via the valence: Experience with matrices from homology. Proc. ISSAC'00 (2000), ACM Press 95-105
7. Dumas, J.-G., Turner, W., Wan, Z., 2002b. Exact solution to large sparse integer linear systems. In: Poster, ECCAD 2002
8. Forsythe G.E., and Moler C.B. Computer Solution of Linear Algebraic Systems (1967), Prentice-Hall
9. Geddes, K., Zheng, W., 2002. Exploiting fast hardware floating point in high precision computation. Tech. Rep. School of Computer Science, University of Waterloo, CA
10. Moenck R.T., and Carter J.H. Approximate algorithms to derive exact solutions to systems of linear equations. Proceedings of the International Symposium on Symbolic and Algebraic Computation (1979), Springer-Verlag 65-73
11. Pan V., and Wang X. Acceleration of Euclidean algorithm and extensions. Proc. ISSAC'02 (2002), ACM Press 207-213
12. Saad Y. Iterative Methods for Sparse Linear Systems. 2nd edition (2003), SIAM
13. Trefethen L.N., and Bau III D. Numerical Linear Algebra (1997), SIAM
14. von zur Gathen J., and Gerhard J. Modern Computer Algebra (1999), Cambridge University Press
15. Wiedemann D. Solving sparse linear equations over finite fields. IEEE Trans. Inform. Theory 32 (1986) 54-62