Pages that link to "Item:Q912081"

The following pages link to Decidability in elementary analysis. II (Q912081):

Displaying 2 items.

• Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates (Q2457362) (← links)
• A decidable theory involving addition of differentiable real functions (Q2699966) (← links)