3 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.SC2020
On FGLM Algorithms with Tropical Gröbner bases
Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama
Let K be a field equipped with a valuation. Tropical varieties over K can be defined with a theory of Gr{ö}bner bases taking into account the valuation of K. Because of the use of…
math.AC2020★ 1 cited
Modular Techniques for Effective Localization and Double Ideal Quotient
Yuki Ishihara
By double ideal quotient, we mean where ideals and . In our previous work [11], double ideal quotient and its variants are shown to be very useful for checking p…
math.AC2020★ 3 cited
Effective Localization Using Double Ideal Quotient and Its Implementation
Yuki Ishihara, Kazuhiro Yokoyama
In this paper, we propose a new method for localization of polynomial ideal, which we call "Local Primary Algorithm". For an ideal and a prime ideal , our method computes a…