https://123dok.com/document/z3n53meq-pembuktian-geometri-automatik-groebner-diponegoro-university-institutional-repository.html