MACM 401 Intro to Computer Algebra
MACM 701 Intro to Computer Algebra
MATH 819 Computer Algebra
CMPT 881 Symbolic Computation

Spring 2015

Meet: Mondays and Thursdays 12:30-14:30 in K9509

Instructor: Dr. Michael Monagan, mmonagan@cecm.sfu.ca, K 10501
Office hours: Tuesdays 10-11am, Wednesdays 3-4pm
Marker: Hao Ze, hze@sfu.ca
Course web page: http://www.cecm.sfu.ca/~mmonagan/teaching/CAS15

COURSE Outline
==============

The course is about computing with mathematical objects including
numbers, polynomials like f = x^3 y - 3 x y^2 + 1 and elementary
functions sqrt(x), ln(x), exp(x).

Topics covered include
- Long integer multiplication: Karatsuba's algorithm.
- A study of unique factorization and Euclidean rings.
- Polynomial interpolation and the Fast Fourier Transform.
- The Chinese remainder theorem and polynomial GCD computation.
- Hensel's lemma, the P-adic Newton iteration, and applications.
- Factoring polynomials over finite fields and the integers.
- Resultants and algorithms for rational function integration.
- Liouville's theorem
- The Risch decision procedure for elementary function integration.

TEXT: Algorithms for Computer Algebra by Geddes, Czapor, and Labahn

MAPLE

Students will also learn to use Maple and develop an in
depth knowledge of what it can compute and how it works.
Maple will be used for calculations and programming.
Maple is available in the open labs, assignment labs, and library.
Maple help:   MapleNotes.mws / MapleNotes.pdf

Assessment
========== 
                         Assignments  Final exam  Course project
MACM 401 & MACM 701       50%          50%         ---
MATH 819 & CMPT 881       50%          40%         10%

Final Exam: 24 hour take home final.  Thursday April 16th.


Cheating policy.
================

If you copy someone's work on an assignment you will get 0 for
the whole assignment and be reported to the unversity.  If you lend
your assignment to a student who copies it, you will get 0 too.