# Lecture 9: Real Root Isolation

### Date: May 24

### Background Material and Further Resources

### Reading

### Topics

- Go over assignment 2 (correctness of Hensel lifting and computing time
analysis)
- Review Sturm's theorem and root bounds
- Root isolation using Sturm's theorem (see maple worksheet).

### Programs

- Maple worksheet with real root isolation program using Sturm's theorem.
(sturm.mws).
- SACLIB programs:

Created: May 26, 2000 by
jjohnson@mcs.drexel.edu