The following pages link to Convexity and constructive infima (Q334985):
Displaying 9 items.
- A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle (Q306581) (← links)
- Convexity and unique minimum points (Q1712926) (← links)
- On Farkas' lemma and related propositions in BISH (Q2067640) (← links)
- Constructive Proofs of Negated Statements (Q3305626) (← links)
- (Q4450603) (← links)
- BROUWER’S FAN THEOREM AND CONVEXITY (Q4647099) (← links)
- Kostant convexity for affine buildings (Q4933484) (← links)
- Differentiating convex functions constructively (Q5145852) (← links)
- Upward Slopes and Inf-Convolutions (Q5387973) (← links)