OP-00255 Solution claimed Deciding accurate evaluability of real polynomials NA · decision procedures · OpenProblemsInNLA · polynomial evaluation · rounding errors