Contact Us

The History of Artificial Intelligence

An Algebraic Simplify Program in LISP. AIM-011.

purl.stanford.edu/yq743cn6445
Title:
An Algebraic Simplify Program in LISP. AIM-011.
Author:
Wooldridge, Dean E.
Author (no Collectors):
Wooldridge, Dean E.
Description:
A program which performs 'obvious' (non-controversial) simplifying transformations on algebraic expressions (written in LISP prefix notation) is described. Cancellation of inverses and consolidation of sums and products are the basic accomplishments of the program; however, if the user desires to do so, he may request the program to perform special tasks, such as collect common factors from the products in sums or expand products. Polynomials are handled by routines which take advantage of the special form by polynomials; in particular, division (not cancellation) is always done in terms of polynomials. The program (run on the IBM 7090) is slightly faster than a human; however, the computer does not need to check its work by repeating the simplification. Although the program is usable -- no bugs are known to exist -- it is by no means a finished project. A rewriting of the simplify system is anticipated; this will eliminate much of the existing redundancy and other inefficiency, as well as implement an identity-recognizing scheme.
Topic:
Artificial intelligence
Subject:
Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
Language:
English
Physical Description:
1 text file
Publication Info:
cau and Stanford (Calif.)
Date:
December 1963
Place created:
Stanford (Calif.)
Imprint:
Stanford (Calif.), December 1963
Genre:
memorandums
Identifier:
AIM-011
Repository:
Stanford University. Libraries. Department of Special Collections and University Archives
Collection:
Stanford Artificial Intelligence Laboratory records, 1963-2009
Manuscript number:
SC1041