4 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Alexander Maletzky
In this paper we present the formal, computer-supported verification of a functional implementation of Buchberger's critical-pair/completion algorithm for computing Gröbner bases i…