26 citations · 42 across the 14 of their papers we have counts for
1 paper · 1 filter
Dima Grigoriev, Nicolai Vorobjov
We give an algorithm, with a singly exponential complexity, deciding whether a tropical linear prevariety is a tropical linear variety. The algorithm relies on a criterion to be a…