2000 character limit reached
Brouwer's fixed point theorem with sequentially at most one fixed point (1108.2201v1)
Published 10 Aug 2011 in math.LO and cs.GT
Abstract: We present a constructive proof of Brouwer's fixed point theorem with sequentially at most one fixed point, and apply it to the mini-max theorem of zero-sum games.