Görlach, P., Ren, Y., & Zhang, L. (2022). Computing zero-dimensional tropical varieties via projections. computational complexity, 31(1), Article 5. https://doi.org/10.1007/s00037-022-00222-9