MACM 401 Intro to Computer Algebra MACM 701 Intro to Computer Algebra MATH 819 Computer Algebra CMPT 881 Symbolic Computation Spring 2013 Meet: Mondays and Thursdays 12:30-14:30 in K9509 Instructor: Dr. Michael Monagan, mmonagan@cecm.sfu.ca, K 10501 Office hours: Tuesdays 10:00-11:00am, Wednesdays 10:00-11:00am Marker: Stephen Melczer, srm9@sfu.ca Course web page: http://www.cecm.sfu.ca/~mmonagan/teaching/CAS13 COURSE Outline ============== The course is about computing with mathematical objects including numbers, polynomials like f = x^3 y - 3 x y^2 + 1 and the elementary functions sqrt(x), ln(x), exp(x). We will answer questions like the following: TEXT: Algorithms for Computer Algebra by Geddes, Czapor, and Labahn Topics covered include - Long integer multiplication: Karatsuba's algorithm. - A study of unique factorization and Euclidean rings. - The roots of unity and the Fast Fourier Transform. - Representing polynomials and mathematical formulae on a computer. - 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 thoeorem, and the Risch decision procedure for elementary function integration. 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 60% 40% --- MATH 819 & CMPT 881 60% 30% 10% Final Exam: 24 hour take home final. Date TBA Cheating policy. ================ If you copy someone's work on an assignment you will get 0 for the whole assignment. If you lend your assignment to a student who copies it, you will get 0 too.