Pages that link to "Item:Q420168"
From MaRDI portal
The following pages link to A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity (Q420168):
Displaying 3 items.
- Fixed point theorems in constructive mathematics (Q3145979) (← links)
- On constructive versions of the Tychonoff and Schauder fixed point theorems (Q5198366) (← 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)