research
∙
09/04/2020
On FGLM Algorithms with Tropical Gröbner bases
Let K be a field equipped with a valuation. Tropical varieties over K ca...
share
research
∙
02/29/2020
Effective Localization Using Double Ideal Quotient and Its Implementation
In this paper, we propose a new method for localization of polynomial id...
research
∙
05/16/2018
On Affine Tropical F5 Algorithms
Let K be a field equipped with a valuation. Tropical varieties over K ca...
research
∙
05/16/2017