Groebner basis computation
3 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
Groebner bases
computational-algebra
- Buchberger's algorithmS-polynomial reductionstandardcomputational-algebra
- F4 algorithmMatrix-based reductionspecialistcomputational-algebra
- F5 algorithmSignature-based criterionspecialistcomputational-algebra