1. Allermann, L.: Tropical hypersurfaces (2008), http://www.mathematik.uni-kl.de/~allermann
2. Alonso, M.-E., Mora, T., Niesi, G., Raimondo, M.: An algorithm for computing analytic branches of space curves at singular points. In: Proceedings of the 1992 International Workshop on Mathematics Mechanization, pp. 135–166. International Academic Publishers (1992)
3. Einsiedler, M., Kapranov, M., Lind, D.: Non-archimedean amoebas and tropical varieties. J. Reine Angew. Math. 601, 139–157 (2006)
4. Jensen, A.N.: Gfan, a software system for Gröbner fans (2007), http://www.math.tu-berlin.de/~jensen/software/gfan/gfan.html
5. Jensen, A.N., Markwig, H., Markwig, T.: tropical.lib. A singular 3.0 library for computations in tropical geometry (2007)