article

Free access

Determining the Equivalence of Algebraic Expressions by Hash Coding

Author:

William A. MartinAuthors Info & Claims

Journal of the ACM (JACM), Volume 18, Issue 4

Pages 549 - 558

https://doi.org/10.1145/321662.321668

Published: 01 October 1971 Publication History

PDF eReader

References

[1]

ALBERT, A. A. Fundamental Concepts of Higher Algebra. U. of Chicago Press, Chicago (1963).

Google Scholar

[2]

KORSVOLD, K. An on-line algebraic simplification program. Artificial Intelligence Proj. Memo. 37, Stanford University, Stanford, California (Nov. 1965).

Google Scholar

[3]

MARTIN, W. A. Symbolic Mathematical Laboratory. Project MAC Report MAC- TR-36 M.I.T., Cambridge, Mass. (1967).

Google Scholar

[4]

MosEs, J. Algebraic simplification: A guide for the perplexed. Proc. 2nd Symposium on Symbolic and Algebraic Manipulation. ACM, New York, 1971, 282-304; CACM 14, 8 (Aug., 1971), 527-537.

Crossref

Google Scholar

[5]

OLDEHOEFT, A.E. Analysis of constructed mathematical responses by numeric tests for equivalence. Proc. 21st National ACM Conference. ACM, New York, 1969, pp. 117-124.

Crossref

Google Scholar

[6]

VINOGRADOV, I.M. Elements of Number Theory. Dover, New York, 1954.

Google Scholar

Cited By

View all

Katayama S(2010)Recent Improvements of MagicHaskellerApproaches and Applications of Inductive Programming10.1007/978-3-642-11931-6_9(174-193)Online publication date: 2010
https://doi.org/10.1007/978-3-642-11931-6_9
ZHANG MWONG P(2008)EXPLICITLY SIMPLIFYING EVOLVED GENETIC PROGRAMS DURING EVOLUTIONInternational Journal of Computational Intelligence and Applications10.1142/S146902680800224707:02(201-232)Online publication date: Jun-2008
https://doi.org/10.1142/S1469026808002247
Wong PMengjie Zhang (2008)SCHEME: Caching subtrees in genetic programming2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence)10.1109/CEC.2008.4631158(2678-2685)Online publication date: Jun-2008
https://doi.org/10.1109/CEC.2008.4631158
Show More Cited By

Index Terms

Determining the Equivalence of Algebraic Expressions by Hash Coding
1. Information systems
  1. Data management systems
    1. Data structures
      1. Data layout
        Data compression
  2. Information storage systems
    1. Record storage systems
      1. Record storage alternatives
        Hashed file organization

Recommendations

Strong amalgamation, Beck--Chevalley for equivalence relations and interpolation in algebraic logic

We extend Makkai's proof of strong amalgamation (push-outs of monos along arbitrary maps are monos) from the category of Heyting algebras to a class which includes the categories of symmetric bounded distributive lattices, symmetric Heyting algebras, ...
A Categorical Equivalence for Stonean Residuated Lattices

We follow the ideas given by Chen and Grätzer to represent Stone algebras and adapt them for the case of Stonean residuated lattices. Given a Stonean residuated lattice, we consider the triple formed by its Boolean skeleton, its algebra of dense ...
Representations of Algebraic Domains and Algebraic L-domains by Information Systems

Information systems play an important role in characterizing order structures. In this paper, we introduce the notions of the algebraic information system and algebraic L-information system. They are of the same logic-oriented style as the information ...

Comments

Information & Contributors

Information

Published In

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1971

Published in JACM Volume 18, Issue 4

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

29
Total Citations
View Citations
560
Total Downloads

Downloads (Last 12 months)53
Downloads (Last 6 weeks)8

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Katayama S(2010)Recent Improvements of MagicHaskellerApproaches and Applications of Inductive Programming10.1007/978-3-642-11931-6_9(174-193)Online publication date: 2010
https://doi.org/10.1007/978-3-642-11931-6_9
ZHANG MWONG P(2008)EXPLICITLY SIMPLIFYING EVOLVED GENETIC PROGRAMS DURING EVOLUTIONInternational Journal of Computational Intelligence and Applications10.1142/S146902680800224707:02(201-232)Online publication date: Jun-2008
https://doi.org/10.1142/S1469026808002247
Wong PMengjie Zhang (2008)SCHEME: Caching subtrees in genetic programming2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence)10.1109/CEC.2008.4631158(2678-2685)Online publication date: Jun-2008
https://doi.org/10.1109/CEC.2008.4631158
Rittri M(2008)Using types as search keys in function librariesJournal of Functional Programming10.1017/S095679680000006X1:01(71-89)Online publication date: 7-Nov-2008
https://doi.org/10.1017/S095679680000006X
Zhang MWong P(2008)Genetic programming for medical classificationGenetic Programming and Evolvable Machines10.1007/s10710-008-9059-99:3(229-255)Online publication date: 1-Sep-2008
https://dl.acm.org/doi/10.1007/s10710-008-9059-9
Wong PZhang MCattolico M(2006)Algebraic simplification of GP programs during evolutionProceedings of the 8th annual conference on Genetic and evolutionary computation10.1145/1143997.1144156(927-934)Online publication date: 8-Jul-2006
https://dl.acm.org/doi/10.1145/1143997.1144156
JERMANN CTROMBETTONI GNEVEU BMATHIS P(2006)DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEYInternational Journal of Computational Geometry & Applications10.1142/S021819590600210516:05n06(379-414)Online publication date: Dec-2006
https://doi.org/10.1142/S0218195906002105
Michelucci DFoufou S(2006)Geometric constraint solvingComputer-Aided Design10.1016/j.cad.2006.01.00538:4(284-299)Online publication date: 1-Apr-2006
https://dl.acm.org/doi/10.1016/j.cad.2006.01.005
Zhang MWong PQian D(2006)Online program simplification in genetic programmingProceedings of the 6th international conference on Simulated Evolution And Learning10.1007/11903697_75(592-600)Online publication date: 15-Oct-2006
https://dl.acm.org/doi/10.1007/11903697_75
Amy BOuabdesselam F(2005)S. V. P. Un system interactif pour la validation et la preparation de programmesProgramming Symposium10.1007/3-540-06859-7_123(41-58)Online publication date: 20-Jun-2005
https://doi.org/10.1007/3-540-06859-7_123
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

References

Cited By

Index Terms

Recommendations

Strong amalgamation, Beck--Chevalley for equivalence relations and interpolation in algebraic logic

A Categorical Equivalence for Stonean Residuated Lattices

Representations of Algebraic Domains and Algebraic L-domains by Information Systems

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations