Bendle, D., Böhm, J., Ren, Y., & Schröter, B. (2023). Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians. Journal of Symbolic Computation, 120, https://doi.org/10.1016/j.jsc.2023.102224