13 citations · 36 across the 19 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.SC2021
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra
Clemens Hofstadler, Thibaut Verron
Signature-based algorithms have become a standard approach for computing Gröbner bases in commutative polynomial rings. However, so far, it was not clear how to extend this concept…
cs.SC2021
On FGLM Algorithms with Tate Algebras
Xavier Caruso, Tristan Vaccon, Thibaut Verron
Tate introduced in [Ta71] the notion of Tate algebras to serve, in the context of analytic geometry over the-adics, as a counterpart of polynomial algebras in classical algebraic g…
cs.SC2021★ 1 cited
On Two Signature Variants Of Buchberger's Algorithm Over Principal Ideal Domains
Maria Francis, Thibaut Verron
Signature-based algorithms have brought large improvements in the performances of Gröbner bases algorithms for polynomial systems over fields. Furthermore, they yield additional da…