Early Macsyma docs online
- Subject: Early Macsyma docs online
- From: C Y
- Date: Tue, 3 May 2005 13:32:01 -0700 (PDT)
These are apparently available as scanned images. If I am reading the
policy on MIT's technical reports correctly
(http://ncstrl.mit.edu/mit-copyright.html), anything not labeled as
under copyright and published in 1978 or older is in the public domain.
If in the public domain these may be interesting to adapt for Maxima
documentation, and/or transcribe into latex as history.
Symbolic Integration
Joel Moses
AIM-97
June 1966
http://ncstrl.mit.edu/Dienst/UI/2.0/Describe/ncstrl.mit_ai%2fAIM-97?abstract=Moses
Symbolic Integration II
Joel Moses
AIM-97a
October 1966
http://ncstrl.mit.edu/Dienst/UI/2.0/Describe/ncstrl.mit_ai%2fAIM-97a?abstract=Moses
SYMBOLIC INTEGRATION
J. Moses
MIT/LCS/TR-47
December 1967
http://ncstrl.mit.edu/Dienst/UI/2.0/Describe/ncstrl.mit_lcs%2fMIT%2fLCS%2fTR-47?abstract=Moses
**The above is Moses's thesis, which should have the pattern matcher
definition**
Other interesting goodies:
Recursive Functions of Symbolic Expressions and Their Computation
J. McCarthy
AIM-11
March 1959
http://ncstrl.mit.edu/Dienst/UI/2.0/Describe/ncstrl.mit_ai%2fAIM-11
A Basis for a Mathematical Theory of Computation
John McCarthy
AIM-31
January 1962
http://ncstrl.mit.edu/Dienst/UI/2.0/Describe/ncstrl.mit_ai%2fAIM-31
EVALUATION OF DEFINITE INTEGRALS BY SYMBOLIC MANIPULATION
P. S. Wang
MIT/LCS/TR-92
October 1971
http://ncstrl.mit.edu/Dienst/UI/2.0/Describe/ncstrl.mit_lcs%2fMIT%2fLCS%2fTR-92?abstract=Macsyma
ESSAYS IN ALGEBRAIC SIMPLIFICATION
R. J. Fateman
MIT/LCS/TR-95
April 1972
http://ncstrl.mit.edu/Dienst/UI/2.0/Describe/ncstrl.mit_lcs%2fMIT%2fLCS%2fTR-95?abstract=Macsyma
MATHSCOPE Part I: A Proposal for a Mathematical Manipulation- Display
System
Marvin Minsky
AIM-61
November 1963
http://ncstrl.mit.edu/Dienst/UI/2.0/Describe/ncstrl.mit_ai%2fAIM-61
DERIVATOR I. A Program for Visual Inspection of Solutions to
First-Order Non-Linear Differential Equations
Marvin Minsky
AIM-62
December 1963
http://ncstrl.mit.edu/Dienst/UI/2.0/Describe/ncstrl.mit_ai%2fAIM-62
Syntax and Display of Mathematical Expressions
William Martin
AIM-85
July 1965
http://ncstrl.mit.edu/Dienst/UI/2.0/Describe/ncstrl.mit_ai%2fAIM-85
MAP: A SYSTEM FOR ON-LINE MATHEMATICAL ANALYSIS
R. Kaplow, S. Strong and J. Brackett
MIT/LCS/TR-24
January 1966
http://ncstrl.mit.edu/Dienst/UI/2.0/Describe/ncstrl.mit_lcs%2fMIT%2fLCS%2fTR-24
AN ON-LINE SYSTEM FOR ALGEBRAIC MANIPULATION
R. R. Fenichel
MIT/LCS/TR-35
December 1966
http://ncstrl.mit.edu/Dienst/UI/2.0/Describe/ncstrl.mit_lcs%2fMIT%2fLCS%2fTR-35
A Fast-Parsing Scheme for Hand-Printed Mathematical Expressions
William Martin
AIM-145
October 1967
http://ncstrl.mit.edu/Dienst/UI/2.0/Describe/ncstrl.mit_ai%2fAIM-145
__________________________________________________
Do You Yahoo!?
Tired of spam? Yahoo! Mail has the best spam protection around
http://mail.yahoo.com