2 papers
math.LO2020
Effective cylindrical cell decompositions for restricted sub-Pfaffian sets
Gal Binyamini, Nicolai Vorobjov
The o-minimal structure generated by the restricted Pfaffian functions, known as restricted sub-Pfaffian sets, admits a natural measure of complexity in terms of a format $\mathcal…
math.AG2018
Complexity of deciding whether a tropical linear prevariety is a tropical variety
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…