In this article we investigate algorithms for solving non-linear multivariate equations over nite elds and the relation between them. For non binary elds usually computing the Gröbner basis of the corresponding ideal is the best choice in this context. One class of algorithms is based on Buchberger's algorithm. Today's best algorithms like F4 and F5 belong… (More)