We introduce the notion of tropical defects, certificates that a system ...
We describe, study, and experiment with an algorithm for finding all
sol...
The computation of the tropical prevariety is the first step in the
appl...
We study methods for finding the solution set of a generic system in a f...