Thorsten Theobald On the frontiers of polynomial computations in tropical geometry. 1360-1375 2006 41 J. Symb. Comput. 12 http://dx.doi.org/10.1016/j.jsc.2005.11.006 db/journals/jsc/jsc41.html#Theobald06