Lecture 9: Real Root Isolation

Date: May 24

Background Material and Further Resources

• Sturm's Theorem

Reading

• Paper by Johnson.

Topics

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

Programs

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