@article{BendleBoehmRenetal.2023,
  author    = {Dominik Bendle and Janko B{\"o}hm and Yue Ren and Benjamin Frederik Schr{\"o}ter},
  title     = {Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians},
  journal   = {Journal of symbolic computation},
  volume    = {120.2024},
  number    = {102224},
  doi       = {10.1016/j.jsc.2023.102224},
  year      = {2023},
}