Adam Strzebonski, Elias Tsigaridas. Univariate real root isolation over a single logarithmic extension of real algebraic numbers.
ACA 2015 - Applications of Computer Algebra, Jul 2015, Kalamata, Greece. pp.425-445,
⟨10.1007/978-3-319-56932-1_27⟩.
⟨hal-01001820v3⟩