Bendle, Dominik, Böhm, Janko, Ren, Yue, Schröter, Benjamin, "Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians", Journal of Symbolic Computation, 2025