Towards the Automated Synthesis of a Gröbner Bases Algorithm (0)

by B Buchberger
Venue:RACSAM (Rev. Acad. Cienc., Spanish Royal Academy of Science