Add to ORKGAn algorithm is designed solving a tropical linear system with the complexity polynomial in the size of the system
The \textit{tropical scaling} algorithm has experimentally shown to generate accurate results in com...
In this paper we develop a combinatorial abstraction of tropical linear programming. This generalize...
Tropical polyhedra have been recently used to represent disjunctive invariants in static analysis. T...
Tropical differential equations are introduced and an algorithm is designed which tests solvability ...
An algorithm to give an explicit description of all the solutions to any tropical linear system A⊙x=...
See also arXiv:1308.0454International audienceWe develop a tropical analog of the simplex algorithm ...
A class of mathematical programming problems, which includes linear and non-linear programming prob...
Tropical linear algebra is the study of classical linear algebra problems with arithmetic done over ...
Il s'agit d'une version plus détaillée de l'article du même nom paru à la suite de la conférence ISS...
This paper describes the development of finite abstractions of Max-Plus-Linear (MPL) systems using t...
We propose an algorithm to solve polynomial eigenvalue problems via linearization combining several ...
We develop an algorithm for resolving a conic linear system (FPd), which is a system of the form (FP...
SIGLEAvailable from British Library Document Supply Centre- DSC:9106.1605(CU-DAMTP-NA--12/1991) / BL...
In recent decades, tropical mathematics gradually evolved as a field of study in mathematics and it ...
A tropical curve Γ is a metric graph with possibly unbounded edges, and tropical rational functions ...
The \textit{tropical scaling} algorithm has experimentally shown to generate accurate results in com...
In this paper we develop a combinatorial abstraction of tropical linear programming. This generalize...
Tropical polyhedra have been recently used to represent disjunctive invariants in static analysis. T...
Tropical differential equations are introduced and an algorithm is designed which tests solvability ...
An algorithm to give an explicit description of all the solutions to any tropical linear system A⊙x=...
See also arXiv:1308.0454International audienceWe develop a tropical analog of the simplex algorithm ...
A class of mathematical programming problems, which includes linear and non-linear programming prob...
Tropical linear algebra is the study of classical linear algebra problems with arithmetic done over ...
Il s'agit d'une version plus détaillée de l'article du même nom paru à la suite de la conférence ISS...
This paper describes the development of finite abstractions of Max-Plus-Linear (MPL) systems using t...
We propose an algorithm to solve polynomial eigenvalue problems via linearization combining several ...
We develop an algorithm for resolving a conic linear system (FPd), which is a system of the form (FP...
SIGLEAvailable from British Library Document Supply Centre- DSC:9106.1605(CU-DAMTP-NA--12/1991) / BL...
In recent decades, tropical mathematics gradually evolved as a field of study in mathematics and it ...
A tropical curve Γ is a metric graph with possibly unbounded edges, and tropical rational functions ...
The \textit{tropical scaling} algorithm has experimentally shown to generate accurate results in com...
In this paper we develop a combinatorial abstraction of tropical linear programming. This generalize...
Tropical polyhedra have been recently used to represent disjunctive invariants in static analysis. T...