article

Free access

Toward a formal implementation of computer algebra

Author:

Ruediger G. K. LoosAuthors Info & Claims

ACM SIGSAM Bulletin, Volume 8, Issue 3

Pages 9 - 16

https://doi.org/10.1145/1086837.1086839

Published: 01 August 1974 Publication History

PDF eReader

Abstract

We consider in this paper the task of synthesizing an algebraic system. Today the task is significantly simpler than in the pioneer days of symbol manipulation, mainly because of the work done by the pioneers in our area, but also because of the progress in other areas of Computer Science. There is now a considerable collection of algebraic algorithms at hand and a much better understanding of data structures and programming constructs than only a few years ago.

References

[1]

Backus, J., IMB Report RJ 1245 (19774), S.J. 1973.

Google Scholar

[2]

Jenka, R. D., Proc. SIGPLAN, (Mar. 1974).

Google Scholar

[3]

Strassen, V., Acta Inform. 1, (1972), 320--335.

Digital Library

Google Scholar

[4]

Taraki, A., et al. Undecidable Theories. NH. 1953.

Google Scholar

[5]

Knuth, D. E., Math. Sys. Th. 2, (1969), 122--145.

Google Scholar

[6]

Hoare, C. A. R. Recursive Data Structures Stan-CS-73-400, Stanford University.

Google Scholar

[7]

Hearn, A. C., Loos, R., ACM 73 Ann. Conf. 147--152.

Digital Library

Google Scholar

[8]

Redei, L., Algebra 1, Leipzig 1959.

Google Scholar

Cited By

View all

Gadiraju U(2018)"A new age of search systems" by Ujwal Gadiraju with Martin Vesely as coordinatorACM SIGWEB Newsletter10.1145/3266231.32662352018:Summer(1-11)Online publication date: 4-Sep-2018
https://dl.acm.org/doi/10.1145/3266231.3266235
Hargood C(2018)The narrative and hypertext workshop series and the value of workshops to research communitiesACM SIGWEB Newsletter10.1145/3266231.32662332018:Summer(1-6)Online publication date: 4-Sep-2018
https://dl.acm.org/doi/10.1145/3266231.3266233
Wang YLin THsu CLiu X(2013)Region- and action-aware virtual world clientsACM Transactions on Multimedia Computing, Communications, and Applications10.1145/2422956.24229629:1(1-21)Online publication date: 19-Feb-2013
https://dl.acm.org/doi/10.1145/2422956.2422962
Show More Cited By

Recommendations

The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads

Lawvere theories and monads have been the two main category theoretic formulations of universal algebra, Lawvere theories arising in 1963 and the connection with monads being established a few years later. Monads, although mathematically the less direct ...
Construction of quotient BCI(BCK)-algebra via a fuzzy ideal

The present paper gives a new construction of a quotient BCI(BCK)- algebra X/µ by a fuzzy ideal µ in X and establishes the Fuzzy Homomorphism Fundamental Theorem. We show that if µ is a fuzzy ideal (closed fuzzy ideal) of X. then X/µ is a commutative (...
Souslin algebra embeddings
Abstract
A Souslin algebra is a complete Boolean algebra whose main features are ruled by a tight combination of an antichain condition with an infinite distributive law. The present article divides into two parts. In the first part a representation theory ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGSAM Bulletin Volume 8, Issue 3

August 1974

110 pages

ISSN:0163-5824

DOI:10.1145/1086837

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1974

Published in SIGSAM Volume 8, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

28
Total Citations
View Citations
175
Total Downloads

Downloads (Last 12 months)64
Downloads (Last 6 weeks)6

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Gadiraju U(2018)"A new age of search systems" by Ujwal Gadiraju with Martin Vesely as coordinatorACM SIGWEB Newsletter10.1145/3266231.32662352018:Summer(1-11)Online publication date: 4-Sep-2018
https://dl.acm.org/doi/10.1145/3266231.3266235
Hargood C(2018)The narrative and hypertext workshop series and the value of workshops to research communitiesACM SIGWEB Newsletter10.1145/3266231.32662332018:Summer(1-6)Online publication date: 4-Sep-2018
https://dl.acm.org/doi/10.1145/3266231.3266233
Wang YLin THsu CLiu X(2013)Region- and action-aware virtual world clientsACM Transactions on Multimedia Computing, Communications, and Applications10.1145/2422956.24229629:1(1-21)Online publication date: 19-Feb-2013
https://dl.acm.org/doi/10.1145/2422956.2422962
Park JJain R(2013)Identification of scene locations from geotagged imagesACM Transactions on Multimedia Computing, Communications, and Applications10.1145/2422956.24229619:1(1-23)Online publication date: 19-Feb-2013
https://dl.acm.org/doi/10.1145/2422956.2422961
Sanchez SWan HLucas T(2009)Two-phase screening procedure for simulation experimentsACM Transactions on Modeling and Computer Simulation10.1145/1502787.150279019:2(1-24)Online publication date: 23-Mar-2009
https://dl.acm.org/doi/10.1145/1502787.1502790
Clifton CMillstein TLeavens GChambers C(2006)MultiJavaACM Transactions on Programming Languages and Systems10.1145/1133651.113365528:3(517-575)Online publication date: 1-May-2006
https://dl.acm.org/doi/10.1145/1133651.1133655
Caviness B(2005)Computer algebra: Past and futureEUROCAL '8510.1007/3-540-15983-5_1(1-18)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-15983-5_1
Bergman M(2005)Algebraic specifications: A constructive methodology in logic programmingComputer Algebra10.1007/3-540-11607-9_11(91-100)Online publication date: 28-May-2005
https://doi.org/10.1007/3-540-11607-9_11
Jenks R(2005)MODLISP: An introductionSymbolic and Algebraic Computation10.1007/3-540-09519-5_96(466-480)Online publication date: 24-May-2005
https://doi.org/10.1007/3-540-09519-5_96
Buchberger B(2005)A criterion for detecting unnecessary reductions in the construction of Gröbner-basesSymbolic and Algebraic Computation10.1007/3-540-09519-5_52(3-21)Online publication date: 24-May-2005
https://doi.org/10.1007/3-540-09519-5_52
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

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

Abstract

References

Cited By

Recommendations

The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads

Construction of quotient BCI(BCK)-algebra via a fuzzy ideal

Souslin algebra embeddings

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations