TY  - RPRT
TI  - Computing Tropical Prevarieties with Satisfiability Modulo Theories (SMT) Solvers
AU  - Christoph Lüders
PY  - 2020
UR  - https://arxiv.org/abs/2004.07058
ID  - 2004.07058
ER  -