Loading paper
Tropical pseudolinear and pseudoquadratic optimization as parametric mean-payoff games | Tomesphere