The self-validated method for polynomial zeros of high efficiency

213-JCAM-self-interval