Markwig, Thomas, Ren, Yue, "Computing Tropical Varieties Over Fields with Valuation", Foundations of Computational Mathematics, 2025