arXiv 2011-01-23 EN Univariate real root isolation in an extension field Strzebonski, Adam · Tsigaridas, Elias
