ON LINE COMPUTER SYMBOLIC MANIPULATION.
Abstract:
The development is described of an on-line computer system for symbol manipulation in which a user can arbitrarily define symbols and rules for operating with these symbols, and then instruct the computer on-line to selectively apply the rules. At the basis of the system is a small set of elementary symbol manipulation operators which can be programmed on-line to carry out more complex symbolic processes. The application of the system to algebra is presented the resultant system for algebraic symbol manipulation allows the user to have the computer apply rules of algebra on-line to transform mathematical expressions which he has input in a natural form. Author
Security Markings
DOCUMENT & CONTEXTUAL SUMMARY
Distribution:
Approved For Public Release
RECORD
Collection: TR