TY  - RPRT
TI  - Constructive proofs of Tychonoff's and Schauder's fixed point theorems for sequentially locally non-constant functions
AU  - Yasuhito Tanaka
PY  - 2011
UR  - https://arxiv.org/abs/1105.3616
ID  - 1105.3616
ER  -