[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
article
Free access

Congruence Techniques for the Exact Solution of Integer Systems of Linear Equations

Published: 01 December 1977 Publication History
First page of PDF

References

[1]
BAREISS, E.H. Computational solutions of matrix problems over an integral domain. Y. Inst. Math. Applic. 10 (1972), 68-104.
[2]
BORODIN, A., AND MUNRO, I. The Computational Complexity of Algebraic and Numeric Problems. Elsevier, New York, 1975.
[3]
BROWN, W.S. On Euclid's algorithm and the computation of polynomial greatest common divisors. J. A CM 18, 4 (Oct. 1971), 478--504.
[4]
CABAY, S. Exact solution of linear equations. Proc. Second Syrup. on Symbolic and Algebraic Manipulation, ACM, New York, 1971, pp. 392-398.
[5]
CABAY, S., AND LAM, T.P.L. Algorithm 523, ESOLVE: Congruence techniques for the exact solution of integer systems of linear equations, ACM Trans. Ma~h. Software ~, 4 (Dec. 1977), 404410.
[6]
CHARMONMAN, S., AND WAGENER, J.L. On structured programming in FORTRAN. SIGNUM Newsletter (ACM) 10, 1 (Jan. 1975), 21-23.
[7]
GENTLEMAN, W.M., AND JOHNSON, S.C. Analysis of algorithms, a case study: Determinants of polynomials. Proc. Fifth Annual ACM Syrup. on Theory of Computing, 1973, pp. 135-141.
[8]
(}RIss, M.L. The algebraic solution of sparse linear systems via minor expansion. ACM Trans. Math. Software Z, 1 (March 1976), 31--49.
[9]
HOROWITZ, E., AND SAHSt, S. On computing the exact determinant of matrices with polynomial entries. J. ACM ~2, 1 (jan. 1975), 38-50.
[10]
HOWELL, J. Algorithm 406" Exact solution of linear equations using residue arithmetic. Comm. ACM 1~, 3 (March 1971), 180--184.
[11]
HULL, T.E. Would you believe structured Fortran?. SIGNUM Newsletter (ACM) 8, 4 (Oct. 1973), 13-16.
[12]
KNUTH, D.E. The Art of Computer Programming, Vol. 2: Seminumerical Algorithms. Addison-Wesley, Reading, Mass., 1969.
[13]
MAZUKELLI, D. Multistep elimination over commutative rings. Ph.D. Th., Dept. of Math., Northwestern U., Evanston, Ill., 1972.
[14]
MCCLELLAN, M.T. The exact solution of systems of linear equations with polynomial coefficients. J. ACM Z0, 4 (Oct. 1973), 563-588.
[15]
McCLELLAN, M.T. A comparison of algorithms for the exact solution of linear equations. To appear in A CM Trans. Math. Software.
[16]
MCCLET.LAN, M.T. The exact solution of linear equations with rational function coefficients. To appear in ACM Trans. Math. Software.
[17]
SCHbNHAO~, A. Schnelle Berechnung yon Kettenbruchentwicklungen. Acta Inforrnatica I (1971), 139-144.
[18]
SHAPIRO, G. Gauss elimination for singular matrices. Math. Comput. 17 (1963), 441-445.
[19]
YUN, D.Y.Y. The Hensel lemma in symbolic manipulation. Ph.D. Th., Dept. of Math., M.I.T., Cambridge, Mass., 1973.

Cited By

View all
  • (2018)How Good is Hadamard’s Inequality for Determinants?Canadian Mathematical Bulletin10.4153/CMB-1984-039-227:03(260-264)Online publication date: 20-Nov-2018
  • (2012)Observability and criticality analysis in state estimation using integer-preserving Gaussian eliminationInternational Transactions on Electrical Energy Systems10.1002/etep.67223:3(405-422)Online publication date: 23-Jan-2012
  • (2007)EXACT SOLUTION OF LINEAR EQUATIONS ON DISTRIBUTED-MEMORY MULTIPROCESSORSParallel Algorithms and Applications10.1080/106371994089625313:1-2(135-143)Online publication date: 31-May-2007
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Transactions on Mathematical Software
ACM Transactions on Mathematical Software  Volume 3, Issue 4
Dec. 1977
108 pages
ISSN:0098-3500
EISSN:1557-7295
DOI:10.1145/355759
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1977
Published in TOMS Volume 3, Issue 4

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)67
  • Downloads (Last 6 weeks)12
Reflects downloads up to 01 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2018)How Good is Hadamard’s Inequality for Determinants?Canadian Mathematical Bulletin10.4153/CMB-1984-039-227:03(260-264)Online publication date: 20-Nov-2018
  • (2012)Observability and criticality analysis in state estimation using integer-preserving Gaussian eliminationInternational Transactions on Electrical Energy Systems10.1002/etep.67223:3(405-422)Online publication date: 23-Jan-2012
  • (2007)EXACT SOLUTION OF LINEAR EQUATIONS ON DISTRIBUTED-MEMORY MULTIPROCESSORSParallel Algorithms and Applications10.1080/106371994089625313:1-2(135-143)Online publication date: 31-May-2007
  • (2007)A comparative study of algorithms for computing the Smith normal form of an integer matrix†International Journal of Systems Science10.1080/0020772840892659515:7(727-744)Online publication date: 15-May-2007
  • (2006)Die exakte Berechnung der Moore‐Penrose‐Inversen einer Matrix durch ResiduenarithmetikZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik10.1002/zamm.1983063030863:3(203-210)Online publication date: 23-Nov-2006
  • (2005)Computer algebra on MIMD machineSymbolic and Algebraic Computation10.1007/3-540-51084-2_40(423-439)Online publication date: 27-May-2005
  • (2005)Integer matrices and Abelian groupsSymbolic and Algebraic Computation10.1007/3-540-09519-5_94(431-451)Online publication date: 24-May-2005
  • (2005)Approximate rational arithmetic systems: Analysis of recovery of simple fractions during expression evaluationSymbolic and Algebraic Computation10.1007/3-540-09519-5_89(383-397)Online publication date: 24-May-2005
  • (2005)Symbolic-numeric interface: A reviewSymbolic and Algebraic Computation10.1007/3-540-09519-5_85(330-345)Online publication date: 24-May-2005
  • (2005)Approximate algorithms to derive exact solutions to systems of linear equationsSymbolic and Algebraic Computation10.1007/3-540-09519-5_60(65-73)Online publication date: 24-May-2005
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Full Access

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media