Pages that link to "Item:Q5198366"
From MaRDI portal
The following pages link to On constructive versions of the Tychonoff and Schauder fixed point theorems (Q5198366):
Displaying 4 items.
- A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity (Q420168) (← links)
- Equivalence between the existence of an approximate equilibrium in a competitive economy and Sperner's lemma: a constructive analysis (Q420181) (← links)
- Fixed point theorems in constructive mathematics (Q3145979) (← links)
- A note on the constructive proof of Kakutani's fixed point theorem with uniformly locally at most one fixed point without countable choice (Q5415383) (← links)