TY  - RPRT
TI  - Computing tropical varieties over fields with valuation
AU  - Thomas Markwig
AU  - Yue Ren
PY  - 2016
UR  - https://arxiv.org/abs/1612.01762
ID  - 1612.01762
ER  -