Date of Award
2010
Degree Type
Thesis
Degree Name
Master of Science
Program
Computer Science
Supervisor
Dr. Stephen Watt
Abstract
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.
Recommended Citation
Patil, Nivedita, "Interactive Computer Manipulation of Formal Sums" (2010). Digitized Theses. 4490.
https://ir.lib.uwo.ca/digitizedtheses/4490