Week |
TOPIC |
DATE |
1 |
Introduction |
Jan 19 (First Class) |
2 |
Geometric Computation (I) |
Jan 26 |
3 |
Approaches to NonRobustness |
Feb 2 |
4 |
The EGC Approach |
Feb 9 |
5 |
Algebraic Roots of Geometry |
Feb 16 |
6 |
Expression Packages, CORE Library |
Feb 23 |
7 |
Floating Point Filters |
Mar 1 |
8 |
Geometric Computation (II) |
Mar 8 |
-- |
Spring Break |
Mar 13 -- 17 |
9 |
Geometric Rounding; Checking and its Applications |
Mar 22 |
10 |
Symbolic Perturbation; Project Proposal |
Mar 29 |
11 |
Determinant Computation |
Apr 5 |
12 |
Theorem Proving; Project Presentations |
Apr 12 |
13 |
Elementary Functions (Brent's Results) |
Apr 19 |
14 |
Incremental Computation |
Apr 26 (Last Class) |
-- |
Final Project Due |
May 3--10 |