Sturm sequence

Pairings in the atlas

Sign-change root countingstandardReal root isolation computational-algebra

Rivals: other methods for the same problems

Vincent-Collins-Akritas

Where it sits

computational-algebra · Numerical & Scientific Computing