1. L. Allermann, J. Rau, First steps in tropical intersection theory, preprint, arxiv:0709.3705.
2. Standard bases and geometric invariant theory. I. Initial ideals and state polytopes;Bayer;J. Symbolic Comput.,1988
3. Constructions and complexity of secondary polytopes;Billera;Adv. Math.,1990
4. Fiber polytopes;Billera;Ann. Math. (2),1992
5. Computing tropical varieties;Bogart;J. Symbolic Comput.,2007