skip to main content
10.1145/800204.806310acmconferencesArticle/Chapter ViewAbstractPublication Pagessymsac86Conference Proceedingsconference-collections
Article
Free Access

Exact solution of linear equations

Published:23 March 1971Publication History

ABSTRACT

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.

References

  1. 1.E.H. Bareiss, "Sylvester's Identity and Multistep Integer-Preserving Gaussian Elimination", Math. Comp. 22 (1968), 565-578.Google ScholarGoogle Scholar
  2. 2.W.A. Blankinship, "A New Version of the Euclidean Algorithm", Amer. Math. Month. 70 (1963), 742-745.Google ScholarGoogle ScholarCross RefCross Ref
  3. 3.W.A. Blankinship, "Algorithm 288: Solution of Simultaneous Linear Diophantine Equations", Comm. ACM 9 (July 1966), 514. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4.E. Bodewig, Matrix Calculus, North-Holland, 1959.Google ScholarGoogle Scholar
  5. 5.I. Borosh and A.S. Fraenkel, "Exact Solutions of Linear Equations with Rational Coefficients by Congruence Techniques", Math. Comp. 20 (1966), 107-112.Google ScholarGoogle ScholarCross RefCross Ref
  6. 6.G.E. Collins, "Computing Multiplicative Inverses in GF(p)", Math. Comp. 23 (1969), 197-200.Google ScholarGoogle Scholar
  7. 7.G. Forsythe and C.B. Moler, Computer Solution of Linear Algebraic Equations, Prentice-Hall, 1967.Google ScholarGoogle Scholar
  8. 8.L. Fox, An Introduction to Numerical Linear Algebra, Clarendon Press, 1964.Google ScholarGoogle Scholar
  9. 9.J.A. Howell and R.T. Gregory, "An Algorithm for Solving Linear Algebraic Equations using Residue Arithmetic I", BIT 9 (1969), 200-224.Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10.J.A. Howell and R.T. Gregory, "An Algorithm for Solving Linear Algebraic Equations using Residue Arithmetic II", BIT 9 (1969), 324-337.Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 11.J.A. Howell and R.T. Gregory, "Solving Linear Equations using Residue Arithmetic - Algorithm II", BIT 10 (1970), 23-37.Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. 12.D.E. Knuth, The Art of Computer Programming Vol. 2: Seminumerical Algorithms, Addison-Wesley, 1969. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. 13.J.D. Lipson, "Interpolation and Chinese Remainder Algorithms", University of Toronto Computer Science Technical Report, 1970.Google ScholarGoogle Scholar
  14. 14.H.A. Luther and L.F. Guseman, Jr., "A Finite Sequentially Compact Process for the Adjoints of Matrices over Arbitrary Integral Domains", Comm. ACM 5 (1962), 447-448. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. 15.M. Newman, "Solving Equations Exactly", J. Res. Nat. Bureau Standards-B, 71B (1967), 171-179.Google ScholarGoogle ScholarCross RefCross Ref
  16. 16.J.B. Rosser, "A Method of Computing Exact Inverses of Matrices with Integer Coefficients", J. Res. Nat. Bureau Standards, 49 (1952), 349-358.Google ScholarGoogle ScholarCross RefCross Ref
  17. 17.G. Shapiro, "Gauss Elimination for Singular Matrices", Math. Comp. 17 (1963), 441-445.Google ScholarGoogle ScholarCross RefCross Ref
  18. 18.H. Takahasi and Y. Ishibashi, "A New Method for 'Exact Calculation' by a Digital Computer", Information Processing in Japan, 1 (1961), 28-42.Google ScholarGoogle Scholar

Index Terms

  1. Exact solution of linear equations

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in
        • Published in

          cover image ACM Conferences
          SYMSAC '71: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
          March 1971
          464 pages
          ISBN:9781450377867
          DOI:10.1145/800204

          Copyright © 1971 ACM

          Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 23 March 1971

          Permissions

          Request permissions about this article.

          Request Permissions

          Check for updates

          Qualifiers

          • Article

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader