author = {A. Maletzky},
title = {{Computer-Assisted Exploration of Gröbner Bases Theory in Theorema}},
language = {english},
year = {2016},
month = {May},
translation = {0},
school = {RISC, Johannes Kepler University Linz},
length = {197}