All Questions

Each of the rings $\mathbf{Q}$, $\mathbf{Z}_p$, $\mathbf{Q}_p$, $\mathbf{R}$ admits a universal construction: the rationals are the field of fractions of the integers: $\mathbf{Q}:=\mathrm{Frac}(\...

I'm a beginner in tropical geometry, and I'm running into the following question: In the usual polynomial ring over a field, one has algorithms (i.e. using a Groebner basis) for determining whether ...

I am new to the world of tropical mathematics. I am wondering if there is an algorithm to prove the equivalence of two tropical polynomials (in the plus-min semiring let's say), say over multivaribles?...