Computational Mathematics

This class provides a broad introduction to discrete computational mathematics with a focus on symbolic computation.

That is, we cover how to effectively do mathematics on computers. This involves topics such as:

A number of applications of these topics will be discussed, such as to coding theory, cryptography, and computer-assisted proofs.

Instructor: Curtis Bright
Course Code: COMP8920-1-R-2022F Selected Topics
Class: Mondays and Wednesdays 4:00–5:20 PM (Erie Hall 1114)
Office Hours: Fridays 9:00–11:00 AM (Lambton Tower 5110)

Lecture Notes

The lectures roughly cover the first eight chapters of Modern Computer Algebra as well as chapters 18 to 20. A few topics do not appear in MCA (such as satisfiability solving).



Assessment for the course will be based on a few things:


There is no required textbook for the course, but the following books are excellent references:


Programming in this class will be done in either Maple or Sage. Maple is a commercial computer algebra system developed by Maplesoft. Sage is a computer algebra system that is freely available and runs on Linux, Windows, and MacOS. Maple has a free trial and I can provide you with a discount code if you are interested in purchasing an indefinite license or a license for the term.