Check out my first novel, midnight's simulacra!

Faugère F5 algorithm

From dankwiki

An algorithm which computes the Gröbner basis of an ideal of a multivariate polynomial ring.

See Also