%0 Journal Article %T Brouwer Fixed Point Theorem in the General Case %A Karol P k %J Formalized Mathematics %@ 1898-9934 %D 2011 %I %R 10.2478/v10037-011-0024-3 %X In this article we prove the Brouwer fixed point theorem for an arbitrary convex compact subset of ŠĆn with a non empty interior. This article is based on [15]. %U http://versita.metapress.com/content/r1820330753x1671/?p=402fbc6153ad416ab80168a45b113833&pi=4