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
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.