TY - RPRT TI - Univariate real root isolation in an extension field AU - Adam Strzebonski AU - Elias Tsigaridas PY - 2011 UR - https://arxiv.org/abs/1101.4369 ID - 1101.4369 ER -