Computing Tropical Prevarieties With Satisfiability Modulo Theories (SMT) Solvers.

Christoph Lders

Browse the full CADE paper archive.