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

These notes have been archived since 2023. I recommend referring to the most recent notes as they may correct some typos.

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.