Algorithmische P-Zerlegungen und Anwendungen JÜRGEN STÜCKRAD, Thoralf Land (1991) Beiträge zur Algebra und Geometrie = Contributions to algebra and geometry
An Algorithm for Lifting Points in a Tropical Variety Anders Nedergaard Jensen, Hannah Markwig, Thomas Markwig (2008) Collectanea Mathematica