Combinatorial aspects of tropical varieties Tropical geometry mathematics