Introduction to tropical geometry - Maclagan, Diane, 1974- (Graduate studies in mathematics ;, 2015)