Simon Stevin probó el teorema del valor intermedio para polinomios por medio de un algoritmo para construir la expansión decimal de la solución: el algoritmo subdivide el intervalo iterativamente en 10 partes, lo que produce un dígito decimal adicional en cada paso de la iteración.