Given | Topic | Slides | |
Lecture 1 | Friday May 7 | Motivating examples | slides |
Lecture 2 | Wednesday May 12 | From convergent to formal power series | slides |
Lecture 3 | Friday May 14 | Weierstrass Preparation Theorem (1/2) | slides |
Lecture 4 | Wednesday May 26 | Weierstrass Preparation Theorem (2/2) | slides |
Lecture 5 | Friday May 28 | Weierstrass Preparation Theorem: UPoPs case | slides |
Lecture 6 | Wednesday June 2 | Properties of Power Series Rings | slides |
Lecture 7 | Friday June 4 | Puiseux Theorem and Consequences (1/2) | slides |
Lecture 8 | Wednesday June 9 | Puiseux Theorem and Consequences (2/2) | slides |
Lecture 9 | Fridya June 11 | The Hensel Sasaki Construction (1/2) | slides |
Lecture 10 | Wednesday June 16 | The Hensel Sasaki Construction (2/2) | slides |
Lecture 11 | Fridya June 18 | Limit Points | slides |
Lecture 12 | Wednesday June 23 | Limit of Multivariate Rational Functions | slides |
Lecture 11 | Fridya June 25 | Tangent Cones | slides |
Lecture 12 | Wednesday June 30 | Project presentations | slides |
Given | Due | Weight | |
Quiz 1 | Friday. May. 21 | 10:30-11:00 | 15% |
Quiz 2 | Friday June 16 | 10:30-11:00 | 15% |
Project selection | Wednesday June 2 | 3:00 - 6:00pm | |
Project presentations | June 23 and 25 | 10:30 - 12:00 | 70% |
Many fundamental concepts in mathematics are defined in terms of limits and it is highly desirable for computer algebra to implement those concepts. However, limits are, by essence, hard to compute, or even not computable in an algorithmic fashion, say by doing finitely many rational operations on polynomials or matrices.
In this course, we shall see how various types of limits can be computed by means of algebraic calculations. Examples will cover the Zariski closure of a constructible set, the tangent cone of an algebraic set at one of its singular points, and the limit of a real multivariate rational function at one of its poles.
The first half of this course will consist of a presentation of the underlying mathematical concepts (multivariate power series and Puiseux series) and algorithms (factorization of polynomials over multivariate power series rings, including the Extended Hensel Construction) as well as software demonstration powered by the RegularChains and MultivariatePowerSeries libraries in Maple.
Marc Moreno Maza
Email: moreno@csd.uwo.ca
Office: Middlesex College 327
There is no specific textbook for this course. Lecture notes, suggested readings and supplementary materials are available electronically on the course website.
Students should check the course website http://www.csd.uwo.ca/courses/CS9646 on a regular basis for news and updates. These are the primary method by which information will be disseminated to all students in the class. The missing of critical information due to your failure to check the course website cannot be used as a basis for appeal.
Wednesdays and Fridays from 10:30 to 12:00 from May 7 to June 25.
The overall course grade, out of 100, will be calculated as follows:
A CS9646 project topic is chosen by the student from a list of topics proposed by the instructor. Project topics will be posted by May 21 and each student must choose a project topic by June 2. The projects will be presented in class by the students during the last two weeks of classes. Each presentation will consist of a 20 minute talk followed by questions for 5 minutes.
There is no midterm examination and no final examination.
It is Faculty of Science policy that a student who chooses to write a test or exam deems themselves fit enough to do so, and the student must accept the mark obtained. Claims of medical, physical, or emotional distress after the fact will not be considered.
Scholastic offences are taken seriously and students are directed to read the appropriate policy, specifically, the definition of what constitutes a Scholastic Offence, at this website:
http://www.uwo.ca/univsec/pdf/academic_policies/appeals/scholastic_discipline_undergrad.pdf.
Computer-marked, multiple-choice tests and exams may be subject to submission for similarity review by software that will check for unusual coincidences in answer patterns that may indicate cheating.
Every effort will be made to have quizzes marked and handed back within 2 weeks of the hand-in date.
Given | Due | Weight | |
Quiz 1 | Friday. May. 21 | 10:30-11:00 | 15% |
Quiz 2 | Friday June 16 | 10:30-11:00 | 15% |
Project selection | Wednesday June 2 | 3:00 - 6:00pm | |
Project presentations | June 23 and 25 | 10:30 - 12:00 | 70% |
If you are unable to meet a course requirement due to illness or other serious circumstances, you must provide valid medical or supporting documentation to the Academic Counselling Office of your home faculty as soon as possible. The University Policy on Accommodation Consideration for Student Absences can be found here.
If you are a science student, the Academic Counselling Office of the Faculty of Science can be contacted at 519-661-3040 or scibmsac@uwo.ca. See their Their web site.
A student requiring academic accommodation due to illness must use the Student Medical certificate when visiting an off-campus medical facility.
For further information, please consult the university's medical illness policy. and the University' policy on academic accommodation for student with disabilities.
Scholastic offences are taken seriously and students are directed to read the appropriate policy, specifically, the definition of what constitutes a Scholastic Offence, at the following web site.
All assignments are individual assignments. You may discuss approaches to problems among yourselves. However, the actual details of the work (assignment coding, answers to concept questions, etc.) must be your individual effort. Assignments that are judged to be the result of academic dishonesty will, for the student's first offence. You are responsible for reading and respecting the Computer Science Department's policy on Rules of Ethical Conduct and Scholastic Offenses.
All required papers may be subject to submission for textual similarity review to the commercial plagiarism detection software under license to the University for the detection of plagiarism. All papers submitted for such checking will be included as source documents in the reference database for the purpose of detecting plagiarism of papers subsequently submitted to the system. Use of the service is subject to the licensing agreement, currently between The University of Western Ontario and Turnitin.com.
Computer-marked multiple-choice tests and/or exams may be subject to submission for similarity review by software that will check for unusual coincidences in answer patterns that may indicate cheating.
Please contact the course instructor if you require lecture or printed material in an alternate format or if any other arrangements can make this course more accessible to you. You may also wish to contact Services for Students with Disabilities (SSD) at 661-2111 ext. 82147 if you have questions regarding accommodation.
All students who are in emotional/mental distress should refer to Mental Health@Western. for a complete list of options about how to obtain help.
Learning-skills counsellors at the Student Development Centre. are ready to help you improve your learning skills. They offer presentations on strategies for improving time management, multiple-choice exam preparation/writing, textbook reading, and more. Individual support is offered throughout the Fall/Winter terms in the drop-in Learning Help Centre, and year-round through individual counselling. See also the services provided by the University Students’ Council.
The website for Registrarial Services.