Solving algebraic equations: Combining Buchberger's algorithm with multivariate factorization
A modification of the algorithm reducing the Gröbner bases in a polynomial ideal is described. It uses the lexicographical term ordering and involves multivariate polynomial factoring as a subroutine. The author claims that this algorithm is better suited for solving algebraic equations.
scientific article; zbMATH DE number 4094795