The following pages link to Convexity and constructive infima (Q334985):
Displaying 5 items.
- Convexity and unique minimum points (Q1712926) (← links)
- On Farkas' lemma and related propositions in BISH (Q2067640) (← links)
- Constructive Proofs of Negated Statements (Q3305626) (← links)
- BROUWER’S FAN THEOREM AND CONVEXITY (Q4647099) (← links)
- Differentiating convex functions constructively (Q5145852) (← links)
