All Questions

In the paper Faster Algorithms for Max-Product Message Passing by McAuley and Caetano (see e.g. here or here), several statements are made which seem mathematically questionable to me. For ...

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?...