Towards the automated synthesis of a Gröbner bases algorithm (2004)

by B Buchberger
Venue:RACSAM (Review of the Spanish Royal Academy of Sciences