skip to main content
article
Free Access

Fast Probabilistic Algorithms for Verification of Polynomial Identities

Authors Info & Claims
Published:01 October 1980Publication History
First page image

References

  1. 1 AHO, A., HOPCROFT, J., AND ULLMAN, J The Design and Analysis of Computer Algorzthms Addison-Wesley, Reading, Mass., 1974. Google ScholarGoogle Scholar
  2. 2 BIEBERBACH, L, AND BAUER, G Vorlesungen uber Algebra. B G Teubner Pubhshmg Co, Berhn, 1928.Google ScholarGoogle Scholar
  3. 3 CHAITIN, G., AND SCHWARTZ, J.T. A note on Monte Carlo pmnallty tests and algorithmic reformation theory Commun Pure Appl Math. (1978)Google ScholarGoogle Scholar
  4. 4 COLLINS, G.E The calculation of muluvanate polynomial resultants. J. A CM 18, 4 (Oct 197 i), 515-532 Google ScholarGoogle Scholar
  5. 5 COLLINS, G.E Computer algebra of polynomials and rattonal functions Amer. Math Monthly 80 (1973), 725-753Google ScholarGoogle Scholar
  6. 6 DAvxs, P.J. Proof, completeness, transccndentals, and samphng. J. ACM 24, 2 (April 1977), 298-310 Google ScholarGoogle Scholar
  7. 7 DUNFORD, N., AND SCHWARTZ, J T Linear Operators, Part II. Wfiey-lntersclence, New York and London, 1963.Google ScholarGoogle Scholar
  8. 8 FEKETE, M.uber dte Verteilung der Wurzeln bet Gew~ssen Algebraischen Glelchungen mit Ganzzahligen Koeffiztenten Math. Z. 17 (1927), 228-249.Google ScholarGoogle Scholar
  9. 9 FEKETE, M, AND SZEGO, G. On algebratc equations with integer coefficients whose roots belong to a given point set Math. Z. 63 (1955), 158-172Google ScholarGoogle Scholar
  10. 10 HEINDEL, L.E. integer anthmetlc algontluns for polynomial real zero determmatton. J. A CM 18, 4 (Oct. 1971), 533-548 Google ScholarGoogle Scholar
  11. 11 HERMANN, G. D~e Frage der Endlich Vtelen Schntte m der Theorie der Polynomidealen. Math. Ann. 95 (1926), 736-788Google ScholarGoogle Scholar
  12. 12 KAKEYA, S On approximate polynomials Tohoku Math J. 6 (1914), 182-186.Google ScholarGoogle Scholar
  13. 13 MARTIN, W A. Determmmg the equivalence of algebratc expressions by hash coding. J. ACM 18, 4 (Oct. 1971), 549-558. Google ScholarGoogle Scholar
  14. 14 MO~NCK, R Fast computation of GDC's Proc. 5th Ann ACM Symp on Theory of Computing, 1973, Austin, Texas, pp 42-151 Google ScholarGoogle Scholar
  15. 15 OKADA, Y On approximate polynomials with integer co~ffictents only Tohoku Math. Z 23 (1924), 26-35.Google ScholarGoogle Scholar
  16. 16 POLYA, G, ANn SZEGO, G Problems and Theorems in Analysis, vol 2 Sprmger-Vedag, New York, 1976.Google ScholarGoogle Scholar
  17. 17 RAaIN, M. Probabdtsttc algorithms In Algorithms and Complextty. New D:reclions and Recent Result.~ J.F. Traub, Ed, Academic Press, New York, 1976, pp. 21-39Google ScholarGoogle Scholar
  18. 18 SEIDENBERG, A.A new decision method for elementary algebra. Ann. Math. 60 (1954), 365-374.Google ScholarGoogle Scholar
  19. 19 TARSKI, A Declston Methodfor Elementary Algebra and Geometry, 2nd ed. University of California Press, Berkeley, Cahf., 1951.Google ScholarGoogle Scholar
  20. 20 VAN DER WAERDEN, B.L. Modern Algebra, vols. I, 11. Fredenck Ungar Publishing Co., New York, 1949, 1950.Google ScholarGoogle Scholar
  21. 21 VAN DER WAERDEN, B L.Emfuhrung m die Algebralsche Geometne, 2nd ed. Springer Verlag, New York, 1973Google ScholarGoogle Scholar

Index Terms

  1. Fast Probabilistic Algorithms for Verification of Polynomial Identities

        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 Journal of the ACM
          Journal of the ACM  Volume 27, Issue 4
          Oct. 1980
          251 pages
          ISSN:0004-5411
          EISSN:1557-735X
          DOI:10.1145/322217
          Issue’s Table of Contents

          Copyright © 1980 ACM

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 1 October 1980
          Published in jacm Volume 27, Issue 4

          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