Article

Free access

Canonical representations in Lisp and applications to computer algebra systems

Author:

Richard J. FatemanAuthors Info & Claims

ISSAC '91: Proceedings of the 1991 international symposium on Symbolic and algebraic computation

Pages 360 - 369

https://doi.org/10.1145/120694.120750

Published: 01 June 1991 Publication History

PDF eReader

References

[1]

B. W. C.har, K. O. Geddes, G. H. Gonnet, M. B. Mona gan, and S. M. Watt. Maple Reference Manual, 5th ed., Waterloo Maple Publishing, Waterloo, Ontario, Canada, 1990.

Google Scholar

[2]

R. Fateman. MACSYMA's General Simplifier: Philosophy and Operation. In V. E. Lewis, ed. Proc. of the 1979 MACSYMA Users' Co.l~ference (MUC-79), Washington, D.C., June 20-22, 19'79, MIT Lab. for Computer Science, 563-582.

Google Scholar

[3]

R. Fateman and C. Ponder. "Speed and Data Structures in Computer Algebra Systems," ACM SIGSAM Bulletin 23, no. 2 (April, 1989) 8-11.

Digital Library

Google Scholar

[4]

Foderaro and 1R. Fateman. Characterization of VAX Macsyma. In P. S. Wang, (ed.) Proc. of 1981 A C3I Syrup. o7~ Symbolic and Algebraic Comp. Snowbird, Utah, Aug, 1981 14-19.

Digital Library

Google Scholar

[5]

G. Gonnet. New Results for Random Determination of Equivalence of Expressions. In B. W. Char, (ed.) Proc. of 1986 ACM Syrup. o~ Symbolic and Algebraic Co~l~.p. Waterloo, Ontario, July, 1986, 127-131.

Digital Library

Google Scholar

[6]

E. Goto and Y. Kanada. Hashing Lemmas on Time Complexities with Applications to Formula Manipulation. In R. D. Jenks, (ed.) Proc. of J976 A C3,I Symp. on Symbolic and Algebraic Comp. Yorktown Heights, N. Y., August, 1976. 154-158.

Digital Library

Google Scholar

[7]

Donald Michie. "Memo" functions and Machine Learning, Nature, 218, (1968), 19-22.

Crossref

Google Scholar

[8]

C. Ponder. Augmenting Expensive Functions in Macsyma with Lookup Tables. Chapter 9 in Evaluation of "Performance Enhancements" in Algebraic Ma~ipulation Systems Ph.D. diss. Univ. Calif. at Berkeley, Dept. of EECS, also UCB/CSD 88/453 p. 85-100.

Digital Library

Google Scholar

[9]

Barry Simon. Four Computer Mathematical Environments, Notices AMS 37 no. 7. Sept. 90. 861- 868.

Google Scholar

[10]

G. L. Steele, Jr. Common Lisp: The La'~zguage. Digital Press, 1984.

Digital Library

Google Scholar

[11]

Peter Szolovits and William A. Martin. Brand X: Lisp Support for Semantic Networks, Proe. IJCAI- 81, volume 2 940-946.

Digital Library

Google Scholar

Index Terms

Canonical representations in Lisp and applications to computer algebra systems
1. Computing methodologies
  1. Symbolic and algebraic manipulation
    1. Computer algebra systems
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types

Recommendations

Lie Representations and an Algebra Containing Solomon's

We introduce and study a Hopf algebra containing the descent algebra as a sub-Hopf-algebra. It has the main algebraic properties of the descent algebra, and more: it is a sub-Hopf-algebra of the direct sum of the symmetric group algebras; it is closed ...
A Hecke Algebra Quotient and Some Combinatorial Applications

Let ( W , S ) be a Coxeter group associated to a Coxeter graph which has no multiple bonds. Let H be the corresponding Hecke Algebra. We define a certain quotient \bar H of H and show that it has a basis parametrized by a certain subset W _c of ...
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

ISSAC '91: Proceedings of the 1991 international symposium on Symbolic and algebraic computation

June 1991

468 pages

ISBN:0897914376

DOI:10.1145/120694

Editor:
Stephen M. Watt

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: 01 June 1991

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ISSAC 91

Sponsor:

German Comp Soc
GMD
SIGSAM

ISSAC 91: International Symposium on Symbolic Algebraic Computation

July 15 - 17, 1991

Bonn, West Germany

Acceptance Rates

Overall Acceptance Rate 395 of 838 submissions, 47%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
285
Total Downloads

Downloads (Last 12 months)28
Downloads (Last 6 weeks)2

Reflects downloads up to 21 Sep 2024

Other Metrics

View Author Metrics

Citations

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.

Index Terms

Recommendations

Lie Representations and an Algebra Containing Solomon's

A Hecke Algebra Quotient and Some Combinatorial Applications

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