  We study representations of tropical linear spaces as intersections of
tropical hyperplanes of circuits. For several classes of matroids, we describe
minimal tropical bases. We also show that every realizable tropical linear
space has a natural, tropically linear parametrization involving its
cocircuits.
