Date of Award


Degree Type


Degree Name

Master of Science


Computer Science


Dr. Stephen Watt


The goal of this thesis is to explore how computer algebra systems can be augmented to allow user-guided transformation and simplification of expressions involving symbolic summation. Mathematical expressions represented as trees are one of the data objects of computer algebra systems. By accessing and manipulating these data objects we can simplify and transform expressions involving symbolic summation. To choose what transformations to be performed is under the discretion of the user. We present a conceptual framework to perform transformations on expressions involving symbolic summation. This is done by creating a set of library functions for interactive manipulation of formal sums. We base our design on the properties of summation. This idea is also extended to other associative operators such as product and definite integral.



To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.