@misc{indiciaecf5a86dfc644,
  title = {Computing Tropical Varieties},
  author = {Tristram Bogart and Anders Jensen and David Speyer and Bernd Sturmfels and Rekha Thomas},
  year = {2005},
  doi = {10.1016/j.jsc.2006.02.004},
  url = {https://arxiv.org/abs/math/0507563},
  note = {Source identifier: math/0507563}
}