Faster Verified Real Root Isolation with Descartes' Rule of Signs (Short Paper).

Aeacus Sheng, Wenda Li, Paul B. Jackson

Browse the full ITP paper archive.