A Machine-Checked Implementation of Buchberger’s Algorithm (2001)

by L Théry
Venue:Journal of Automated Reasoning