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

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

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2018

Gröbner Bases of Modules and Faugère's Algorithm in Isabelle/HOL

Alexander Maletzky, Fabian Immler

We present an elegant, generic and extensive formalization of Gröbner bases in Isabelle/HOL. The formalization covers all of the essentials of the theory (polynomial reduction, S-p…