Computing tropical varieties over fields with valuation using classical standard basis techniques

From MaRDI portal
Publication:5270186