Estikarini, Putri and Harjito, Harjito (2009) PEMBUKTIAN TEOREMA GEOMETRI AUTOMATIK DENGAN BASIS GROEBNER. Undergraduate thesis, Mathematics and Natural science.