The objective of this paper is to lay out the algebraic theory of supertropical vector spaces and linear algebra, utilizing the key antisymmetric relation of "ghost surpasses." Special attention is paid to the various ...