Computing tropical varieties using Newton's method

Computing tropical varieties is an algorithmically challenging task, requiring sophisticated techniques from computer algebra and convex geometry. We describe a new approach for computing zero-dimensional tropical varieties based on Newton polygon methods and apply it to computations of tropical starting points as well as tropical links. We show that, due to its nature, it is possible to obtain rigorous results in tropical geometry using finite precision in the algebraic computations.