Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers.

Grant Olney Passmore

Browse the full CADE paper archive.