On implementing Buchberger's algorithm for Grobner bases
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
A heuristic selection strategy for lexicographic Gröner bases?
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Hi-index | 0.00 |
A system of three third order polynomial equations with parameters is presented, along with its solution by the construction of a single carefully chosen determinant. This system displays some characteristics which may be common in practice, but are not dealt with effectively by most automatic solvers.