Abstract We present an algorithm for computing zero-dimensional tropical varieties using projections. Our main tools are fast monomial transforms of triangular sets. Given a Gröbner basis, we prove that our requires only polynomial number arithmetic operations, and, ideals in shape position, show its timings compare well against univariate factorization and backsubstitution. conclude the comple...