
Accession Number : AD0657282
Title : AN ONLINE SYSTEM FOR ALGEBRAIC MANIPULATION.
Descriptive Note : Doctoral thesis,
Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE PROJECT MAC
Personal Author(s) : Fenichel,Robert Ross
Report Date : JUL 1966
Pagination or Media Count : 115
Abstract : FAMOUS is an online system for the manipulation of linguistic forms. Although these forms can have quite arbitrary interpretations, the standard interpretation is that they are algebraic expressions. FAMOUS allows its 'algebraic expressions' to include arbitrary functions which may or may not be defined. In this way, regular nonalgebraic constructions may be concealed as arguments of ad hoc functions. Rules of local change are the heart of FAMOUS, and supplied by the user. Using these rules, FAMOUS looks at an algebraic manipulation as a series of local changes. The centrality of proximity in FAMOUS was orginally prompted by Gtheory, which might be called the study of proximity. The presentation in Chapter II is complete, but it has rather a cookbook tone. Chapter III is a more reflective attempt to define the power and nature of the system. Algebraic 'simplification' has been a benchmark of algebraic manipulators, and it is discussed in Chapter IV. A more novel application, that of limit problems, is discussed in Chapter V. Finally, Chapter VI consists of miscellaneous remarks about possible and impossible lines of further work. (Author)
Descriptors : (*COMPUTER PROGRAMMING, ALGEBRA), ALGORITHMS, THESES, TIME SHARING, SUBROUTINES, REAL TIME, THEOREMS, COMPUTER PROGRAMS
Subject Categories : Computer Programming and Software
Computer Systems
Distribution Statement : APPROVED FOR PUBLIC RELEASE