# 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

MIS-Preprint: 79/2019 ARXIV: https://arxiv.org/abs/1908.03486 CODE: https://mathrepo.mis.mpg.de/tropicalProjections

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.