Symbolic mathematical computation in a Ph.D. computer science program

摘要

This paper describes a graduate course curriculum, currently being taught, in the area of symbolic mathematical computation. The subject area is described and is then followed by a description of the courses. A bibliography for each course is also given. The relationship of the symbolic mathematical computation curriculum to an overall Computer Science curriculum is discussed. Ph.D. theses which have been written are listed and some topics for future research are outlined. The paper ends with a summary of the strengths and weakensses of the curriculum.