International audienceWe investigate the complexity of counting the number of integer points in tropical polytopes, and the complexity of calculating their volume. We study the tropical analogue of the outer parallel body and establish bounds for its volume. We deduce that there is no approximation algorithm of factor $\alpha=2^{\text{poly}(m,n)}$ for the volume of a tropical polytope given by $n$ vertices in a space of dimension $m$, unless P$=$NP. Neither is there such an approximation algorithm for counting the number of integer points in tropical polytopes described by vertices. If follows that approximating these values for tropical polytopes is more difficult than for classical polytopes. Our proofs use a reduction from the problem of...
In recent decades, tropical mathematics gradually evolved as a field of study in mathematics and it ...
Preprint arXiv:1408.6176International audienceIt is known that any tropical polytope is the image un...
In this thesis, we define a static analysis by abstract interpretation of memory manipulations. It i...
International audienceWe investigate the complexity of counting the number of integer points in trop...
We introduce a novel intrinsic volume concept in tropical geometry. This is achieved by developing t...
We introduce a novel intrinsic volume concept in tropical geometry. This is achieved by developing t...
arXiv:1611.04148International audienceWe introduce tropical analogues of the notion of volume of pol...
AbstractWe study some basic algorithmic problems concerning the intersection of tropical hypersurfac...
Tropical geometry is an emerging field with strong connections in a wide array of areas both inside ...
The authors thank the anonymous referee for many useful comments, and in particular for drawing our ...
We develop a tropical analogue of the classical double description method allowing one to compute an...
International audienceWe establish a characterization of the vertices of a tropical polyhedron defin...
International audienceWe develop a tropical analogue of the classical double description method allo...
AbstractThe tropical variety of a d-dimensional prime ideal in a polynomial ring with complex coeffi...
The notions of convexity and convex polytopes are introduced in the setting of tropical geometry. Co...
In recent decades, tropical mathematics gradually evolved as a field of study in mathematics and it ...
Preprint arXiv:1408.6176International audienceIt is known that any tropical polytope is the image un...
In this thesis, we define a static analysis by abstract interpretation of memory manipulations. It i...
International audienceWe investigate the complexity of counting the number of integer points in trop...
We introduce a novel intrinsic volume concept in tropical geometry. This is achieved by developing t...
We introduce a novel intrinsic volume concept in tropical geometry. This is achieved by developing t...
arXiv:1611.04148International audienceWe introduce tropical analogues of the notion of volume of pol...
AbstractWe study some basic algorithmic problems concerning the intersection of tropical hypersurfac...
Tropical geometry is an emerging field with strong connections in a wide array of areas both inside ...
The authors thank the anonymous referee for many useful comments, and in particular for drawing our ...
We develop a tropical analogue of the classical double description method allowing one to compute an...
International audienceWe establish a characterization of the vertices of a tropical polyhedron defin...
International audienceWe develop a tropical analogue of the classical double description method allo...
AbstractThe tropical variety of a d-dimensional prime ideal in a polynomial ring with complex coeffi...
The notions of convexity and convex polytopes are introduced in the setting of tropical geometry. Co...
In recent decades, tropical mathematics gradually evolved as a field of study in mathematics and it ...
Preprint arXiv:1408.6176International audienceIt is known that any tropical polytope is the image un...
In this thesis, we define a static analysis by abstract interpretation of memory manipulations. It i...