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)

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1966
Accession Number
AD0628135

Entities

People

  • Frederick W. Blackwell

Tags

DTIC Thesaurus Topics

  • Computers

Readers

  • Database Systems and Applications
  • Graph Algorithms and Convex Optimization.
  • Systems Analysis and Design