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
In: Computational complexity, 31 (2022) 1 , 5

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.

Project contributors: Paul Görlach, Yue Ren, and Leon Zhang

Software used: Singular, Magma