Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Serge Sergeev"'
Publikováno v:
Russian Universities Reports. Mathematics. :393-431
This paper investigates algorithms for solving discrete stationary (or) matrix Bellman equations over semirings, in particular over tropical and idempotent semirings, Also there are presented some original algorithms, applications and programmed real
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c72e0b777b1b63a04d9e685fd5de83bd
https://doi.org/10.20310/2686-9667-2019-24-128-393-431
https://doi.org/10.20310/2686-9667-2019-24-128-393-431
Publikováno v:
Journal of Symbolic Computation
Journal of Symbolic Computation, 2012, 47 (12), pp.1447-1478. ⟨10.1016/j.jsc.2011.12.049⟩
Journal of Symbolic Computation, 2012, 47 (12), pp.1447-1478. ⟨10.1016/j.jsc.2011.12.049⟩
Tropical polyhedra have been recently used to represent disjunctive invariants in static analysis. To handle larger instances, tropical analogues of classical linear programming results need to be developed. This motivation leads us to study the trop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::139636b4044351bb1fd5370cb0467c19
https://inria.hal.science/hal-00782737
https://inria.hal.science/hal-00782737
