Numeric-symbolic exact rational linear system solver

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn , Issue , 2011, Pages 305-312

  Saunders, B David ^a   Wood, David Harlan ^a   Youse, Bryan S ^a  

^a University of Delaware   (United States)

Author keywords

iterative refinement; rational linear system; rational reconstruction

Indexed keywords

EXACT ARITHMETIC; EXACT SOLUTION; ILL-CONDITIONING; ITERATIVE REFINEMENT; LINEAR SYSTEM SOLVER; LINEAR SYSTEM SOLVING; NUMERIC SOLVERS; PRECISION FLOATING POINT; PROBABILITY OF ERRORS; RATIONAL APPROXIMATIONS; RATIONAL LINEAR SYSTEM; RATIONAL RECONSTRUCTION; RATIONAL SOLUTION; ROBUST PERFORMANCE; SOLUTION VECTORS;

ALGEBRA; APPROXIMATION ALGORITHMS;

LINEAR SYSTEMS;

EID: 79959650383     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1993886.1993932     Document Type: Conference Paper

References (28)

1. Bernhard Beckermann. The condition number of real Vandermonde, Krylov and positive definite Hankel matrices. Numerische Mathematik, 85:553-577, 1997.
2. C. Bright and A. Storjohan. Vector rational number reconstruction. In ISSAC '11. ACM, 2011.
3. John Burkardt. TEST MAT Test Matrices. http://people.sc.fsu.edu/ ~jburkardt/c src/test mat/test-mat.html.
4. Stanley Cabay. Exact solution of linear equations. In Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC '71, pages 392-398, New York, NY, USA, 1971. ACM.
5. Z. Chen and A. Storjohann. A BLAS based C library for exact linear algebra on integer matrices. In Proc. of ISSAC'05, pages 92-99. ACM Press, 2005.
6. J. D. Dixon. Exact solution of linear equations using p-adic expansion. Numer. Math., pages 137-141, 1982.
7. J-G. Dumas, T. Gautier, M. Giesbrecht, P. Giorgi, B. Hovinen, E. Kaltofen, B. D. Saunders, W. Turner, and G. Villard. Linbox: A generic library for exact linear algebra. In ICMS'02, pages 40-50, 2002.
8. W. Eberly, M. Giesbrecht, P. Giorgi, A. Storjohann, and G. Villard. Solving sparse rational linear systems. In Proc. of ISSAC'06, pages 63-70. ACM Press, 2006.
9. Joachim Von Zur Gathen and Jurgen Gerhard. Modern Computer Algebra. Cambridge University Press, New York, NY, USA, 2 edition, 2003.
10. Keith O. Geddes and Wei Wei Zheng. Exploiting fast hardware floating point in high precision computation. In J. Rafael Sendra, editor, ISSAC, pages 111-118. ACM, 2003.
11. M. J. C. Gover and S. Barnett. Brownian matrices: properties and extensions. International Journal of Systems Science, 17(2):381-386, 1986.
12. Andrzej Kie lbasiński. Iterative refinement for linear systems in variable-precision arithmetic. BIT, 21(1):97-103, 1981.
13. E. Kilic and P. Stanica. The Lehmer matrix and its recursive analogue. Journal of Combinatorial Mathematics and Combinatorial Computing, 74(2):195-205, 2010.
14. D. H. Lehmer. Solutions to problem E710, proposed by D. H. Lehmer: The inverse of a matrix, November 1946.
15. Robert T. Moenck and John H. Carter. Approximate algorithms to derive exact solutions to systems of linear equations. In Proceedings of the International Symposium on on Symbolic and Algebraic Computation, pages 65-73, London, UK, 1979. Springer-Verlag.
16. Michael B. Monagan. Maximal quotient rational reconstruction: an almost optimal algorithm for rational reconstruction. In Jaime Gutierrez, editor, ISSAC, pages 243-249. ACM, 2004.
17. Teo Mora, editor. Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings. ACM, 2002.
18. T. Mulders and A. Storjohann. Certified dense linear system solving. Jounal of symbolic computation, 37(4), 2004.
19. Victor Y. Pan and Xinmao Wang. Acceleration of euclidean algorithm and extensions. In Mora [17], pages 207-213.
20. Alicja Smoktunowicz and Jolanta Sokolnicka. Binary cascades iterative refinement in doubled-mantissa arithmetics. BIT, 24(1):123-127, 1984.
21. Daniel Steffy. Exact solutions to linear systems of equations using output sensitive lifting. ACM Communications in Computer Algebra, 44(4):160-182, 2010.
22. The LinBox Team. LinBox, a C++ library for exact linear algebra. http://www.linalg.org/.
23. John Todd. Basic Numerical Mathematics, Vol. 2: Numerical Algebra. Birkhäuser, Basel, and Academic Press, New York, 1977.
24. Silvio Ursic and Cyro Patarra. Exact solution of systems of linear equations with iterative methods. SIAM Journal on Algebraic and Discrete Methods, 4(1):111-115, 1983.
25. Mark van Hoeij and Michael B. Monagan. A modular gcd algorithm over number fields presented with multiple extensions. In Mora [17], pages 109-116.
26. Zhengdong Wan. Computing the Smith Forms of Integer Matrices and Solving Related Problems. PhD thesis, University of Delaware, Newark, DE, 2005.
27. Zhengdong Wan. An algorithm to solve integer linear systems exactly using numerical methods. Journal of Symbolic Computation, 41:621-632, 2006.
28. James H. Wilkinson. Rounding Errors in Algebraic Processes. Dover Publications, Incorporated, 1994.