Lecture 9: Real Root Isolation

Date: May 24

Background Material and Further Resources



  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).


  1. Maple worksheet with real root isolation program using Sturm's theorem. (sturm.mws).
  2. SACLIB programs:
Created: May 26, 2000 by jjohnson@mcs.drexel.edu