Applying IsRewritten criterion on Buchberger algorithm

From MaRDI portal
Publication:638523