1. Bogart, T., Jensen, A.N., Speyer, D., Sturmfels, B., Thomas, R.R.: Computing tropical varieties. J. Symb. Comput. 42(1–2), 54–73 (2007)
2. Butkovic, P., Hegedüs, G.: An elimination method for finding all solutions of the system of linear equations over an extremal algebra. Ekon. Mat. Obzor 20, 203–214 (1984)
3. Chistov, A.: An algorithm of polynomial complexity for factoring polynomials, and determination of the components of a variety in a subexponential time. J. Sov. Math. 34, 1838–1882 (1986)
4. Lecture Notes in Computer Science;AL Chistov,1986
5. Develin, M., Santos, F., Sturmfels, B.: On the rank of a tropical matrix. In: Combinatorial and Computational Geometry, vol. 52. MSRI Publications (2005)