Related papers: A-Tint: A polymake extension for algorithmic tropi…
The purpose of this survey is to summarize known results about tropical hypersurfaces and the Cayley Trick from polyhedral geometry. This allows for a systematic study of arrangements of tropical hypersurfaces and, in particular,…
Already for bivariate tropical polynomials, factorization is an NP-Complete problem. In this paper, we give an efficient algorithm for factorization and rational factorization of a rich class of tropical polynomials in $n$ variables.…
We introduce tropical singular intersection homologies (non-GM and GM) with the tropical coefficients on rational polyhedral spaces using their filtrations. We investigate their fundamental properties. In the non-GM case, we give a…
The software TrIm offers implementations of tropical implicitization and tropical elimination, as developed by Tevelev and the authors. Given a polynomial map with generic coefficients, TrIm computes the tropical variety of the image. When…
This paper surveys {\it tropical modifications}, which have already become a folklore in tropical geometry. Tropical modifications are used in tropical intersection theory, tropical Hodge theory, and in the study of singularities. They…
This paper introduces a new structure of commutative semiring, generalizing the tropical semiring, and having an arithmetic that modifies the standard tropical operations, i.e. summation and maximum. Although our framework is combinatorial,…
This friendly introduction to tropical geometry is meant to be accessible to first year students in mathematics. The topics discussed here are basic tropical algebra, tropical plane curves, some tropical intersections, and Viro's…
We apply the tropical intersection theory developed by L. Allermann and J. Rau to compute intersection products of tropical Psi-classes on the moduli space of rational tropical curves. We show that in the case of zero-dimensional (stable)…
The tropicalization of a linear space over a non-archimedean field is a tropical linear space. In this paper, we present a method for computing the tropicalization of any lattice over a valuation ring. The resulting tropical semimodule is…
Inspired by numerical homotopy methods we propose a combinatorial homotopy algorithm for finding all isolated solutions to a tropical polynomial systems of n tropical polynomials in n variables. In particular, a tropicalisation of the…
Tropical geometry is a piecewise linear "shadow" of algebraic geometry. It allows for the computation of several cohomological invariants of an algebraic variety. In particular, its application to enumerative algebraic geometry led to…
We present an algorithm for computing zero-dimensional tropical varieties based on triangular decomposition and Newton polygon methods. From it, we derive algorithms for computing points on and links of higher-dimensional tropical…
Tropical varieties capture combinatorial information about how coordinates of points in a classical variety approach zero or infinity. We present algorithms for computing the rays of a complex and real tropical curve defined by polynomials…
We present two effective tools for computing the positive tropicalization of algebraic varieties. First, we outline conditions under which the initial ideal can be used to compute the positive tropicalization, offering a real analogue to…
We define and study the cyclic Bergman fan of a matroid M, which is a simplicial polyhedral fan supported on the tropical linear space T(M) of M and is amenable to computational purposes. It slightly refines the nested set structure on…
The purpose of this note is to give an exposition of some interesting combinatorics and convex geometry concepts that appear in algebraic geometry in relation to counting the number of solutions of a system of polynomial equations in…
This note wants to explain how to obtain meaningful pictures of (possibly high-dimensional) convex polytopes, triangulated manifolds, and other objects from the realm of geometric combinatorics such as tight spans of finite metric spaces…
A novel way to use SMT (Satisfiability Modulo Theories) solvers to compute the tropical prevariety (resp. equilibrium) of a polynomial system is presented. The new method is benchmarked against a naive approach that uses purely polyhedral…
We construct an intersection product on tropical cycles contained in the Bergman fan of a matroid. To do this we first establish a connection between the operations of deletion and restriction in matroid theory and tropical modifications as…
The notion of geometric construction is introduced. This notion allows to compare incidence configurations in the algebraic and tropical plane. We provide an algorithm such that, given a tropical instance of a geometric construction, it…