Algorithms for Tight Spans and Tropical Linear Spaces
  We describe a new method for computing tropical linear spaces and more general duals of polyhedral subdivisions. It is based on Ganter's algorithm (1984) for finite closure systems. 
Simon Hampe, Michael Joswig and Benjamin Schr\"oter
math.CO math.AG