The Nullstellensatz and Positivstellensatz for Sparse Tropical Polynomial Systems

Marianne Akian, Antoine Béreau, Stéphane Gaubert

Grigoriev and Podolskii (2018) have established a tropical analogue of the effective Nullstellensatz, showing that a system of tropical polynomial equations is solvable if and only…