Tropicalizing the simplex algorithm - Xavier Allamigeon; Pascal Benchimol; Stéphane Gaubert; Michael Joswig (2013)