6 citations · 6 across the 1 of their papers we have counts for
1 paper · 1 filter
Maroua Gamanda, Henri Lombardi, Stefan Neuwirth +1
We provide constructive versions of Hilbert's syzygy theorem for Z and Z/nZ following Schreyer's method. Moreover, we extend these results to arbitrary coherent strict Bézout rings…