Algorithmic approaches to symbolic integration and simplification

Abstract

This panel session followed the format announced by SIGSAM Chairman Carl Engelman in the announcement published in SIGSAM Bulletin No. 10 (October 1968). Carl gave a brief (five or ten minutes) introduction to the subject and introduced Professor Joel Moses (M. I. T.). Joel presented an excellent exposition of the recent research accomplishments of the other panel members, synthesizing their work into a single large comprehensible picture. His presentation was greatly enhanced by a series of 27 carefully prepared slides containing critical examples and basic formulas, and was certainly the feature of the show. A panel discussion followed, with some audience participation. Panel members were Dr. W. S. Brown (Bell Telephone Laboratories), Professor B. F. Caviness (Duke University), Dr. Daniel Richardson and Dr. R. H. Risch (IBM).