Gröbnerjeve baze in reševanje sistemov nelinearnih polinomskih enačb