activity
20152021
most citedA Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms

4 citations · 6 across the 6 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.SC2020★ 4 cited

A Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms

Alexander Maletzky

We present a generic and executable formalization of signature-based algorithms (such as Faugère's ) for computing Gröbner bases, as well as their mathematical background, in…