Home

This is the homepage for CS 487/687 (also cross-listed as CM 433/730).

This course is an introduction to the use of computers for symbolic mathematical computation, commonly called computer algebra. The types of mathematical computations of interest include simplifying rational expressions, factoring polynomials, solving linear equations, solving systems of polynomial equations, and analytic integration of functions. The course is designed to expose students to

1. the concepts from modern algebra which are applied to the development of algorithms for symbolic computation
2. the programming languages and data structures used for symbolic computation; and
3. various applications of symbolic computation.

We will look at the design, analysis and implementation of these algorithms.

Announcements (Winter 2012)

• January 13, 2012: Assignment 1 is posted on the Assignments page (due January 23, 2012)
• January 26, 2012: Assignment 2 is posted on the Assignments page (due February 6, 2012)
• February 17, 2012: Assignment 3 is posted on the Assignments page (due February 28, 2012)
• March 22, 2012: Assignment 4 is posted on the Assignments page (due March 27, 2012)
• March 27, 2012: The deadline for Assignment 4 has been extended to Monday, April 2 at 11:59pm.