Pages that link to "Item:Q2457362"
From MaRDI portal
The following pages link to Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates (Q2457362):
Displayed 1 item.