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.