Determining the Equivalence of Algebraic Expressions by Hash Coding

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Determining the Equivalence of Algebraic Expressions by Hash Coding

Full text

Pdf (570 KB)

Source

Journal of the ACM (JACM) archive
Volume 18 , Issue 4 (October 1971) table of contents

Pages: 549 - 558

Year of Publication: 1971

ISSN:0004-5411

Author

William A. Martin

Alfred P. Sloan School of Management, Massachusetts Institute of Technology, Cambridge, Massachusetts

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 32, Citation Count: 13

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/321662.321668 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	ALBERT, A. A. Fundamental Concepts of Higher Algebra. U. of Chicago Press, Chicago (1963).
	2	KORSVOLD, K. An on-line algebraic simplification program. Artificial Intelligence Proj. Memo. 37, Stanford University, Stanford, California (Nov. 1965).
	3	MARTIN, W. A. Symbolic Mathematical Laboratory. Project MAC Report MAC- TR-36 M.I.T., Cambridge, Mass. (1967).
	4	Joel Moses, Algebraic simplification a guide for the perplexed, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.282-304, March 23-25, 1971, Los Angeles, California, United States [doi>10.1145/800204.806298]
	5	Arthur E. Oldehoeft, Analysis of constructed mathematical responses by numeric tests for equivalence, Proceedings of the 1969 24th national conference, p.117-124, August 26-28, 1969 [doi>10.1145/800195.805923]
	6	VINOGRADOV, I.M. Elements of Number Theory. Dover, New York, 1954.

CITED BY 13

	Jacob Katzenelson , Shlomit S. Pinter , Eugen Schenfeld, Type matching, type-graphs, and the Schanuel conjecture, ACM Transactions on Programming Languages and Systems (TOPLAS), v.14 n.4, p.574-588, Oct. 1992
	Gaston H. Gonnet, New results for random determination of equivalence of expressions, Proceedings of the fifth ACM symposium on Symbolic and algebraic computation, p.127-131, July 21-23, 1986, Waterloo, Ontario, Canada
	Gaston H. Gonnet, Determining equivalence of expressions in random polynomial time, Proceedings of the sixteenth annual ACM symposium on Theory of computing, p.334-341, December 1984
	T. Freeman , G. Imirzian , E. Kaltofen, A system for manipulating polynomials given by straight-line programs, Proceedings of the fifth ACM symposium on Symbolic and algebraic computation, p.169-175, July 21-23, 1986, Waterloo, Ontario, Canada
	J. T. Schwartz, Fast Probabilistic Algorithms for Verification of Polynomial Identities, Journal of the ACM (JACM), v.27 n.4, p.701-717, Oct. 1980
	Mikael Rittri, Using types as search keys in function libraries, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.174-183, September 11-13, 1989, Imperial College, London, United Kingdom
	Michael B. Monagan , Gaston H. Gonnet, Signature functions for algebraic numbers, Proceedings of the international symposium on Symbolic and algebraic computation, p.291-296, July 20-22, 1994, Oxford, United Kingdom
	J H Davenport, A :20piano movers' ', ACM SIGSAM Bulletin, v.20 n.1-2, p.15-17, Feb/May 1986
	Richard J. Fateman, Rationally simplifying non-rational expressions, ACM SIGSAM Bulletin
	J. Shackle, A differential-equations approach to functional equivalence, Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation, p.7-10, July 17-19, 1989, Portland, Oregon, United States
	Timothy S. Freeman , Gregory M. Imirzian , Erich Kaltofen , Lakshman Yagati, Dagwood: a system for manipulating polynomials given by straight-line programs, ACM Transactions on Mathematical Software (TOMS), v.14 n.3, p.218-240, Sept. 1988
	Phillip Wong , Mengjie Zhang, Algebraic simplification of GP programs during evolution, Proceedings of the 8th annual conference on Genetic and evolutionary computation, July 08-12, 2006, Seattle, Washington, USA
	Mengjie Zhang , Phillip Wong, Genetic programming for medical classification: a program simplification approach, Genetic Programming and Evolvable Machines, v.9 n.3, p.229-255, September 2008