@misc{indiciaec29da21bb3b6,
  title = {The tropical double description method},
  author = {Xavier Allamigeon and Stephane Gaubert and Eric Goubault},
  year = {2010},
  doi = {10.4230/lipics.stacs.2010.2443},
  url = {https://arxiv.org/abs/1001.4119},
  note = {Source identifier: 1001.4119}
}