SPRING 2000

Chee Yap

SCHEDULE OF LECTURES

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 |