1. The tropical Nullstellensatz for congruences;Bertram;Adv. Math.,2017
2. Non-archimedean amoebas and tropical varieties;Einsiedler;J. Reine Angew. Math.,2007
3. Tropical recurrent sequences;Grigoriev;Adv. Appl. Math.,2020
4. Tropical effective primary and dual Nullstellensaetze;Grigoriev;Discrete Comput. Geom.,2018
5. Complexity of deciding whether a tropical linear prevariety is a tropical variety;Grigoriev;Appl. Algebra Eng. Commun. Comput.,2021