Proof of the Faugère criterion for the F5 algorithm (Q650306)

From MaRDI portal





scientific article; zbMATH DE number 5980689
Language Label Description Also known as
English
Proof of the Faugère criterion for the F5 algorithm
scientific article; zbMATH DE number 5980689

    Statements

    Proof of the Faugère criterion for the F5 algorithm (English)
    0 references
    0 references
    25 November 2011
    0 references
    F5 algorithm
    0 references
    faugère criterion
    0 references
    Gröbner basis
    0 references
    polynomial ideal
    0 references
    head term
    0 references

    Identifiers