Article

Free access

IAM, a system for interactive algebraic manipulation

Authors:

Carlos Christensen and

Michael KarrAuthors Info & Claims

SYMSAC '71: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation

March 1971

Pages 115 - 127

https://doi.org/10.1145/800204.806276

Published: 23 March 1971 Publication History

PDF eReader

Abstract

The principal features of IAM, a system for interactive algebraic manipulation, are described. The primary goal of IAM is to make algebraic manipulation by computer available to a non-programming person. IAM has a JOSS-like command language, emphasizing ease of communication between the user and the system, yet still providing a stored program facility for applications which require it. In addition, the system uses a two-dimensional output format and provides convenient files for the permanent storage of expressions. The algebraic operations of IAM are oriented toward the use of a canonical form of rational functions to achieves “simplification” of expressions; and this approach dictates specialized data structures and algorithms. IAM is implemented in AMBIT/L, a high-level language for list-processing; and it is currently running under the time-sharing system of the DEC PDP-10/50.

References

[1]

Brown, W.S. "The ALPAK system for non-numeric algebra on a digital computer." Bell System Technical Journal Volume XLII, No. 5., September 1963. pp. 2081-2119.

Google Scholar

[2]

Sammett, J.E. and Bond, E. "Introduction to FORMAC." IEEE Transactions on Electronic Computers, Volume EC-13, August 1964. pp. 386-394.

Crossref

Google Scholar

[3]

Benevento, Francis, Christensen, Carlos and Myszewski, Mathew. "The analysis and solution of a problem in algebraic symbol manipulation." Computer Associates, Inc. (CA-6712-0411) Wakefield, Mass., December 1967.

Google Scholar

[4]

Christensen, Carlos. "Examples of symbol manipulation in the AMBIT programming language." Proceedings of the ACM 20th National Conference, Cleveland, Ohio August 1965. pp. 247-261.

Digital Library

Google Scholar

[5]

Christensen, Carlos. "On the implementation of AMBIT, a language for symbol manipulation." Comm. ACM 9 (1966). pp. 570-573.

Digital Library

Google Scholar

[6]

Christensen, Carlos. "An example of the manipulation of directed graphs in the AMBIT/G programming language." In Interactive Systems for Experimental Applied Mathematics, M. Klerer and J. Reinfelds, eds., Academic Press, New York, 1968.

Google Scholar

[7]

Christensen, Carlos. "An introduction to AMBIT/L, a diagrammatic language for list processing." To be presented at the Second Symposium on Symbolic and Algebraic Manipulation, Los Angeles, March 1970.

Digital Library

Google Scholar

[8]

Manove, M., Bloom, S, and Engleman, C. "Rational functions in Mathlab." In Symbolic Manipulation Languages and Techniques, D. G. Bobrow, ed., North-Holland Publishing Company, Amsterdam, 1968. pp. 86-97.

Google Scholar

[9]

Moses, Joel. Symbolic Integration. Ph. D. Thesis, M. I. T. Department of Mathematics, Cambridge, Mass., 1967.

Google Scholar

[10]

Floyd, R. W. "Syntactic analysis and operator procedence." J. ACM 10 (1963). pp.316-333.

Digital Library

Google Scholar

[11]

Applied Data Research. An Initial Session with IAM, Revised Edition. Applied Data Research (CA-7007-0711), Wakefield, Mass.

Google Scholar

[12]

Wheelock, Burton. IAM User Examples. Applied Data Research (CA-7003-1111), Wake-field, Mass., March 1970.

Google Scholar

[13]

Millen, J.K. "CHARYBDIS, a LISP program to display mathematical expressions on typewriter-like devices." In Interactive Systems for Experimental and Applied. Mathematics, M. Klerer and J. Reinfelds, eds., Academic Press, New York, 1968. pp. 79-90.

Google Scholar

Cited By

View all

Siekmann J(1984)Universal Unification7th International Conference on Automated Deduction10.1007/978-0-387-34768-4_1(1-42)Online publication date: 1984
https://doi.org/10.1007/978-0-387-34768-4_1
Raulefs PSiekmann JSzabó PUnvericht E(1979)A short survey on the state of the art in matching and unification problemsACM SIGSAM Bulletin10.1145/1089208.108921013:2(14-20)Online publication date: 1-May-1979
https://dl.acm.org/doi/10.1145/1089208.1089210
Moses JSammet JTobey RMoses J(1971)Algebraic simplification a guide for the perplexedProceedings of the second ACM symposium on Symbolic and algebraic manipulation10.1145/800204.806298(282-304)Online publication date: 23-Mar-1971
https://dl.acm.org/doi/10.1145/800204.806298
Show More Cited By

Index Terms

IAM, a system for interactive algebraic manipulation

Recommendations

Two subroutines for symbol manipulation with an algebraic compiler

The current University of North Carolina version of the IT Compiler [1, 2], as well as the GAT Compiler of Arden and Graham of the University of Michigan [3], have special “alphabetic read” and “alphabetic type” statements. On the UNIVAC 1105 these ...
Read More
Modeling Character Superiority Effect in Korean Characters by Using IAM
BMVC '00: Proceedings of the First IEEE International Workshop on Biologically Motivated Computer Vision

Originally the Interactive Activation Model(IAM) was developed to expalin Word Superiority Effect(WSE) in the English words. It is known that there is a similar phenomena in Korean characters. In other words people perceive a grapheme better when it is ...
Read More
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 ...
Read More

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SYMSAC '71: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation

March 1971

464 pages

ISBN:9781450377867

DOI:10.1145/800204

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 March 1971

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
89
Total Downloads

Downloads (Last 12 months)30
Downloads (Last 6 weeks)1

Other Metrics

View Author Metrics

Citations

Cited By

View all

Siekmann J(1984)Universal Unification7th International Conference on Automated Deduction10.1007/978-0-387-34768-4_1(1-42)Online publication date: 1984
https://doi.org/10.1007/978-0-387-34768-4_1
Raulefs PSiekmann JSzabó PUnvericht E(1979)A short survey on the state of the art in matching and unification problemsACM SIGSAM Bulletin10.1145/1089208.108921013:2(14-20)Online publication date: 1-May-1979
https://dl.acm.org/doi/10.1145/1089208.1089210
Moses JSammet JTobey RMoses J(1971)Algebraic simplification a guide for the perplexedProceedings of the second ACM symposium on Symbolic and algebraic manipulation10.1145/800204.806298(282-304)Online publication date: 23-Mar-1971
https://dl.acm.org/doi/10.1145/800204.806298
Christensen CSammet JTobey RMoses J(1971)An introduction to AMBIT/L, a diagrammatic language for list processingProceedings of the second ACM symposium on Symbolic and algebraic manipulation10.1145/800204.806294(248-260)Online publication date: 23-Mar-1971
https://dl.acm.org/doi/10.1145/800204.806294
Tobey RSammet JTobey RMoses J(1971)Symbolic mathematical computation—introduction and overviewProceedings of the second ACM symposium on Symbolic and algebraic manipulation10.1145/800204.806261(1-16)Online publication date: 23-Mar-1971
https://dl.acm.org/doi/10.1145/800204.806261

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.

Cited By

Index Terms

Recommendations

Two subroutines for symbol manipulation with an algebraic compiler

Modeling Character Superiority Effect in Korean Characters by Using IAM

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