Pages that link to "Item:Q868941"

The following pages link to Quantifier elimination for the reals with a predicate for the powers of two (Q868941):

Displaying 2 items.

• A generalization of Cobham's theorem to automata over real numbers (Q1014642) (← links)
• Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers (Q3454091) (← links)