4 citations · 8 across the 2 of their papers we have counts for
1 paper · 1 filter
Christoph Lüders
A novel way to use SMT (Satisfiability Modulo Theories) solvers to compute the tropical prevariety (resp. equilibrium) of a polynomial system is presented. The new method is benchm…