Computing positive tropical varieties and lower bounds on the number of positive roots

Kemal Rose, Máté L. Telek. Computing positive tropical varieties and lower bounds on the number of positive roots. Journal of Symbolic Computation, 132:102477, 2026. [doi]

Abstract

Abstract is missing.