skip to main content
article
Free Access

Symbolic Solution of Finite-Difference Equations

Authors Info & Claims
Published:01 September 1977Publication History
First page image

References

  1. 1 BOOLE, G. A Treatise on the Calculus of Fznite D~fferences. G.E. Stechert, New York, 3rd ed. (reprint of 1872 2nd ed.), 1926.Google ScholarGoogle Scholar
  2. 2 COHEN, J., AND ROTH, M. On the implementation of Strassen's fast multipUcation algorithm. Acta Informatica 6, 4 (1976), 341-355.Google ScholarGoogle Scholar
  3. 3 ELSPAS, B. The semi-automatic generation of inductive assertions for proving program correctness. Interim Rep., Stanford Research Institute, Menlo Park, Calif., May 1976.Google ScholarGoogle Scholar
  4. 4 GOLDBEaG, S. Introductwn to Difference Equatwns. Wiley, New York, 1958.Google ScholarGoogle Scholar
  5. 5 GRAD, J., AND BREBNER, M.A. Algorithm 343 Eigenvalues and eigenvectors of a real general matrix. Collected Algorithms from ACM, Vol. II, IMSL, Houston, Tex.Google ScholarGoogle Scholar
  6. 6 HILDEBRAND, F.B. F~n~te D, fference Equatwns and S, mulations. Prentice-Hall, Englewood Chffs, N.J., 1968.Google ScholarGoogle Scholar
  7. 7 JENKINS, M.A., AND TRAVB, J.F. Algorithm 419: Zeros of a complex polynomial. Collected Algorithms from ACM, Vol. II, IMSL, Houston, Tex.Google ScholarGoogle Scholar
  8. 8 JOLLEY, L.B.W. Summation of Seines. Dover, New York, 1961.Google ScholarGoogle Scholar
  9. 9 JORDAN, C. Calculus of F~nite Differences. Chelsea, New York, 1950.Google ScholarGoogle Scholar
  10. 10 LEvr, H., AND LESSMAN, F. F,n, te Difference Equations. McMillan, New York, 1961.Google ScholarGoogle Scholar
  11. 11 LIV, C.L. introduction to Combinatorial Mathematics. McGraw-Hill, New York, 1968.Google ScholarGoogle Scholar
  12. 12 MOLER, C.B. Algorithm 423: Linear equation solver. Collected Algorithms from ACM, Vol. iI, IMSL, Houston, Tex.Google ScholarGoogle Scholar
  13. 13 MosEs, J. Algebraic simphfication: A guide for the perplexed. Comm. ACM 1~, 8 (Aug. 1971), 527-537. Google ScholarGoogle Scholar
  14. 14 WANG, P.S., AND ROTHSCHILD, L.P. Factoring multivariate polynomials over the integers. Math. Comput. 29, 131 (July 1975), 935-950.Google ScholarGoogle Scholar
  15. 15 WEGBREIT, B. Mechanical program analysis. Comm. ACM 18, 9 (Sept. 1975), 528-539. Google ScholarGoogle Scholar

Index Terms

  1. Symbolic Solution of Finite-Difference 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

          Full Access

          • Published in

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

            Copyright © 1977 ACM

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 1 September 1977
            Published in toms Volume 3, Issue 3

            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