Computing zero-dimensional tropical varieties via projections

Paul Görlach, Yue Ren, Leon Zhang

We present an algorithm for computing zero-dimensional tropical varieties using projections. Our main tools are fast unimodular transforms of lexicographical Gröbner bases. We prov…