Unary Primitive Recursive Functions
Unification modulo a partial theory of exponentiation
Unirational fields of transcendence degree one and functional decomposition
Univariate polynomial real root isolation: Continued Fractions revisited
Univariate real root isolation in an extension field