%0 Journal Article %T The Geometric Interior in Real Linear Spaces %A Karol P k %J Formalized Mathematics %@ 1898-9934 %D 2010 %I %R 10.2478/v10037-010-0021-y %X We introduce the notions of the geometric interior and the centre of mass for subsets of real linear spaces. We prove a number of theorems concerning these notions which are used in the theory of abstract simplicial complexes. %U http://versita.metapress.com/content/7q44378477913120/?p=5d131c8539804de5b75143a44b34c48b&pi=3