Le Nullstellensatz tropical pour les systèmes polynomiaux creux

Le but de cet exposé sera dans un premier temps d'introduire les concepts de base de l'algèbre tropicale, en particulier la notion de polynôme tropical et de racine d'un polynôme tropical. Ensuite, j'expliciterai comment ces concepts tropicaux se rapportent à leurs analogues classiques. Enfin, je présenterai les méthodes développées afin de résoudre le problème de la solvabilité de systèmes polynomiaux tropicaux.