On the decidability of sparse univariate polynomial interpolationAllan BorodinPrasoon Tiwari1991Computational Complexity
Decreasing the nesting depth of expressions involving square rootsAllan BorodinRonald Faginet al.1985Journal of Symbolic Computation