66 citations · 468 across the 34 of their papers we have counts for
4 papers · 1 filter
Maximal lower bounds in the Löwner order
Nikolas Stott
We show that the set of maximal lower bounds of two symmetric matrices with respect to the Löwner order can be identified to the quotient set . Here, $(p,…
Stationary solutions of discrete and continuous Petri nets with priorities
Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert
We study a continuous dynamics for a class of Petri nets which allows the routing at non-free choice places to be determined by priorities rules. We show that this dynamics can be…
Tropical spectrahedra
Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra
We introduce tropical spectrahedra, defined as the images by the nonarchimedean valuation of spectrahedra over the field of real Puiseux series. We provide an explicit polyhedral c…
Solving generic nonarchimedean semidefinite programs using stochastic game algorithms
Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra
A general issue in computational optimization is to develop combinatorial algorithms for semidefinite programming. We address this issue when the base field is nonarchimedean. We p…