Computing Zero-Dimensional Tropical Varieties via Projections

This page contains auxilliary material for the following preprint:
Paul Görlach, Yue Ren, and Leon Zhang: Computing zero-dimensional tropical varieties via projections

All algorithms are implemented in the Singular library tropicalProjection.lib, the magma library for approximating the roots in the non-Archimedean which was used for the timings can be found here.

In addition to a short tutorial on how to use the library, this website contains a database with all examples that were used for the timings.