Loading paper
Number of common roots and resultant of two tropical univariate polynomials | Tomesphere