"Real algebraic number computation using intervals" - читать интересную книгу автора (Johnson.)