Tropicalizing the Simplex Algorithm. | AMiner