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]
No references recorded for this publication.
No citations of this publication recorded.