An On-Line Program for Non-Numerical Algebra The goal of this program is to make a step toward te design of an automated mathematical assistant. Some requirements for such a program are: it must be easy to access, and that the result must be obtained in a reasonably short time. Accordingly the program is written for a time-shared computer. The Q-32 computer as System Development Corporation, Santa Monica, California, was chosen because it also had a LISP 1.5 compiler. Programming and debugging was done from a remote teletype console at Stanford University. CACM August, 1966 Korsvold, K. CA660818 ES March 17, 1982 10:10 AM 1396 5 3204 3204 5 3204 3204 5 3204 3204 5 3204 964 6 3204 1028 6 3204 1029 6 3204 1083 6 3204 1132 6 3204 1214 6 3204 1278 6 3204 1334 6 3204 1365 6 3204 1386 6 3204 1387 6 3204 1388 6 3204 1392 6 3204 1393 6 3204 1394 6 3204 1395 6 3204 1396 6 3204 1397 6 3204 1496 6 3204 284 6 3204 407 6 3204 3199 6 3204 3200 6 3204 3201 6 3204 3202 6 3204 3203 6 3204 3204 6 3204 561 6 3204 730 6 3204