Using Gröbner bases for detecting polynomial identities: A case study on Fermat's ideal | Publicación