TY - RPRT TI - Computing positive tropical varieties and lower bounds on the number of positive roots AU - Kemal Rose AU - Máté L. Telek PY - 2025 UR - https://arxiv.org/abs/2408.15719 ID - 2408.15719 ER -